关于我们 | 联系我们

亚博App-亚博APP手机版

当前位置:主页 > 新闻资讯 > 常见问题 >

首届国家最高科技奖得主吴文俊逝世,都做过哪些贡献?

本文摘要:(公共编号:)5月7日,中国科学院数学和系统科学研究院今天宣布噩耗,中国着名数学家、中国科学院院士、首届国家最低科学技术奖获得者、中国科学院数学和系统科学研究院研究员吴文俊先生因病治疗无效,2017年5月7日7点在北京不幸去世,享年98岁。吴文俊是中国最不受国际影响的数学家之一,他对数学核心领域的拓扑学做出了重大贡献,开始了数学机械化的新领域,对数学和计算机科学研究的影响很大。的双曲馀弦值。的双曲馀弦值。

亚博APP手机版

(公共编号:)5月7日,中国科学院数学和系统科学研究院今天宣布噩耗,中国着名数学家、中国科学院院士、首届国家最低科学技术奖获得者、中国科学院数学和系统科学研究院研究员吴文俊先生因病治疗无效,2017年5月7日7点在北京不幸去世,享年98岁。吴文俊是中国最不受国际影响的数学家之一,他对数学核心领域的拓扑学做出了重大贡献,开始了数学机械化的新领域,对数学和计算机科学研究的影响很大。的双曲馀弦值。的双曲馀弦值。

他引进的示性类和示性类被称为吴示性类和吴示金字类,他给出的示性类之间的关系式被称为吴式。他的工作是20世纪50年代前后拓扑学的重大突破之一,成为影响深远的经典成果。20世纪70年代后期,他开创了一个全新的数学机械化领域,并明确提出了用计算机证明几何定理的吴方法,并被指出是自动推理小说领域的先驱工作。

他是中国最不受国际影响的数学家之一,他的工作对数学和计算机科学研究有很大影响。吴文俊生平概述吴文俊1919年出生于上海,1940年本科毕业于上海交通大学,1946年在中央研究院数学所工作,在陈省身先生的指导下开始研究拓扑学,1947年出国留学,师从埃里斯曼和嘉当,1949年毕业于法国斯特拉斯堡大学,取得法国博士学位,然后在法国科学中心成为研究员。

新中国正式成立后,吴文俊于1951年回国工作,在北京大学数学系担任教授,1952年在中国科学院数学研究所担任研究员,1980年转移到中国科学院系统科学所,1998年转移到新正式成立的中国科学院数学和系统科学研究所。他曾担任中国数学会理事长(1985-1987)、中国科学院数学部主任(1992-1994)、全国政协委员、常务委员(1979-1998)、2002年国际数学家大会主席、1993年开始担任中国科学院系统的名誉所长。

从1946年到1951年,吴文俊主要从事施蒂费尔惠特尼示性类研究,从1953年到1957年,主要从事庞特里亚金示性类研究。随后吴文俊改向示嵌类研究。

由于他在拓扑示范类和示范类方面的优秀工作,吴文俊和华罗庚、钱学森一起获得了1956年国家第一届自然科学奖的最高奖-一等奖,1957年中央委员成为中国科学院学部委员(院士)。1958年吴文俊被邀请参加国际数学家大会,没有进行集团报告。

1976年,吴文俊在中国古算研究的基础上,拓展了机械化数学的新领域。1986年吴文俊被邀请参加国际数学家大会,1990年获得第三世界科学院数学奖,1993年获得陈嘉庚数理科学奖,1994年获得第一届香港优秀科学家奖,1997年获得国际自动推理小说最高奖2000年,吴文俊以拓扑学和数学机械化的贡献获得了第一届最低国家科技奖。

2006年吴文俊与美国数学家DavidMumford共同获得东方诺贝尔奖的邵逸夫数学奖和百万美元奖金。评委说:通过引进美丽的数学思想,吴建立了新的方法。

这种方法证明了解决问题的许多问题非常有效。吴的方法再次改变了该领域的完全革命性,改变了该领域的研究方法。

亚博APP手机版

他的工作说明了数学的广度,为未来的数学家们树立了新的榜样。吴文俊的研究与代数拓扑学、微分拓扑学、代数几何学、对策论、中国数学史、数学机械化等多个数学领域有关,在其中做出了独特的贡献。现在说明最重要的两个领域:拓扑学和数学机械化。拓扑学的重大贡献拓扑学是现代数学的主要领域之一。

法国现代数学家狄多奈称拓扑学是现代数学的女王。陈省身先生称之为流形的发展是20世纪上半年纯数学的仅次于成果。示性类是拓扑学中最基本的整体不变量。

上世纪50年代左右,示性类研究还处于跟上阶段。吴文俊将示性类的概念从繁化中变得珍贵,从不容易,引进了新的方法和手段,构成了系统的理论。他引进了一种示范类,被称为吴示范类。他还得到了描绘各种示性关系的吴公式。

在他的工作之前,演示类的计算有很大的困难。吴的工作得出了示性类的关系和计算方法。因此,拓扑学和数学的其他分支融合得更加密切,产生了很多新的研究领域。这最后使示性类理论成为拓扑学中最终的章节。

拓扑学中最基本的问题之一就是映射问题。在吴工作之前,映射理论只有零散的结果。吴明确提出吴示金字类等一系列流形不变量,研究了映射理论的核心问题,从而发展了统一的映射理论。在拓扑学的研究中,吴承前启后的发展。

受他工作的影响,研究拓扑学的武器库要求构成,大大提高了拓扑学的发展。许多知名数学家从吴的工作中获得灵感,或者必须以吴的成果为连接点之一,取得了一系列重大成果。

例如,吴的工作分别是法国数学家托姆、美国数学家米尔诺、斯梅尔、维别是法国数学家托姆、美国数学家米尔诺、斯梅尔、维滕、英国数学家阿提亚,其中三位还用于吴的获奖结果。数学大师陈省身先生称赞吴对纤维丛示类研究做出了划时代的贡献。以上两项工作,1956年吴文俊首次获得国家自然科学一等奖。吴文俊对数学的主要领域拓扑学做出了重大贡献。

他引进的示性类和示性类被称为吴示性类和吴示金字类,他给出的示性类之间的关系式被称为吴式。他的工作是20世纪50年代前后拓扑学的重大突破之一,成为影响深远的经典成果。第一次数学机械化领域1977年吴文俊在初等几何定理的机械化证明方面首先成功,明确提出了几何定理机械证明的吴方法。

此后,陆续明确提出了微分几何的定理机械化证明方法,方程组符号解法的吴消元法,全球优化的有限核定理,建立了数学机械化系统。他不仅创造了数学机械化的基础,还将这一理论应用于多个高科技领域,解决了曲面拼凑、机构设计、计算机视觉、机器人等高科技领域的核心问题。这样进入了几乎是中国人自己开拓的新数学之路,产生了很大的国际影响。

1997年吴文俊获得国际自动推理小说最高奖Herbrand自动推理小说优秀成果奖。根据授予语,几何定理自动证明在吴方法出现之前没有什么进展。

在很少的自动推理小说领域,这种被动局面几乎一个人恢复了。吴文俊显然是这样的人。

吴的工作使几何定理证书的研究全面兴起,成为自动推理小说界最活跃、最顺利的领域之一。从1960年开始,吴文俊兼任中国科技大学数学系60级学生讲师,在中国科技大学培养了80多名学生,成为某领域的领导人物,成为许多国际知名学生。1990年,吴文俊派的中科院数学机械化中心正式成立。

2003年,数学机械化中心和信息安全中心正式成立了中国科学院数学机械化的重点实验室。该实验室已成为国际计算机数学领域最有名的领导队伍之一。后代评价中国科学院数学和系统科学研究院在悼词中,吴文俊治学严格,学术思想活跃,但不在意个人名利,无论获得多低的声誉,他总是在科学研究的第一线工作,一生积极进取,坚持不懈,取得了很大的新成果。他读庞特里亚金的俄语原文几乎是用字典一个字找到的,其勤奋精神显而易见。

开始专门从事机械证书时,他已经接近花甲年,为了检验自己委托的方法的有效性,他从零开始自学制作计算机程序,用Fortran语言构筑了符号计算和几何定理证书的算法。编程的工作量非常大,他每天在机房工作十几个小时,再次成功。他平易近人,乐于助人,乐于宣传他人成绩,学术作风民主。

吴文俊有一颗反感的爱国心,1951年退出法国的良好条件,回到祖国参与社会主义建设。他非常关心祖国的经济建设和国内根本建设项目。他对中国文化印象深刻,通过自己的科研工作为兴起中国文化做出了最重要的贡献。在1994年香港欲为科技基金会卓越科学家奖颁奖典礼上,陈省身先生讲解了吴文俊的学术成果,赞扬了历史上许多大数学家对纯数学和应用于数学作出贡献的传统,他的工作一般是独特的道路,不背叛前人,富有创造性,他的机器证明理论是维持中国数学的传统另外,国际机械证明研究领域的权威人物S.穆尔也对吴文俊院士高度评价说:在吴文俊之前,机械化的几何定理证明处于黑暗时期,吴的工作在整个领域都很明亮。

吴文俊院士的离开对中国来说是很大的损失。令人失望的是,这些最优秀高调的人,总是离开后才被世人所熟知。版权文章允许禁止发布。

亚博APP手机版

下一篇文章发表了注意事项。


本文关键词:亚博APP手机版,首届,国家,最高,科技奖,得主,吴文,俊,逝世,都

本文来源:亚博App-www.strychninekiss.com

Copyright © 2005-2021 www.strychninekiss.com. 亚博App科技 版权所有 备案号:ICP备13431060号-7