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

本篇文章3333字，读完约8分钟

雷锋。(公开号码:雷锋。中国科学院数学与系统科学研究所今天发布讣告，称著名数学家、中国科学院院士、首届国家科学技术奖获得者、中国科学院数学与系统科学研究所研究员吴文俊先生于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年，吴文俊和美国数学家大卫·芒福德获得了被称为东方诺贝尔奖的“润邵逸夫数学奖”，以及一百万美元的奖金。评奖委员会认为:“吴先生通过引入深刻的数学思想，发展了一种全新的方法，这种方法在解决一大类问题上被证明是极其有效的。”“吴的方法在这一领域带来了彻底的革命性变化，也导致了这一领域研究方法的变化。”他的工作“揭示了数学的广度，为未来的数学家树立了一个新的榜样。”

吴文俊的研究工作涉及代数拓扑、微分拓扑、代数几何、博弈论、中国数学史、数学机械化等数学领域，并在其中做出了独特的贡献。本文介绍了两个最重要的领域:拓扑学和数学机械化。

对拓扑学的巨大贡献

拓扑学是现代数学的主要领域之一。法国现代数学家迪东称拓扑学为现代数学的女王。陈省身先生说，拓扑学的发展是20世纪上半叶纯数学的最大成就。指示类是拓扑中最基本的全局不变量。

20世纪50年代前后，指示范畴的研究仍处于起步阶段。吴文俊将指示类的概念由复杂简化为困难，并引入新的方法和手段，形成了系统的理论。他引进了一个示范班，叫吴示范班。他还给出了吴公式来描述各种指示类之间的关系。在他工作之前，很难计算出指示性等级。吴的工作给出了指示类之间的关系和计算方法。因此，拓扑学和其他数学分支更加紧密地结合在一起，许多新的研究领域应运而生。这最终使指示类理论成为拓扑学中最完美的一章。

拓扑中最基本的问题之一是嵌入。在吴之前，嵌入理论只有零星的成果。吴提出了吴的嵌入类等一系列拓扑不变量，研究了嵌入理论的核心问题，形成了统一的嵌入理论。

在拓扑学研究中，吴起起着承上启下的作用。在他工作的影响下，拓扑学研究的宝库形成了，极大地促进了拓扑学的发展。许多著名数学家受到吴工作的启发或直接以吴的成就为出发点，取得了一系列重要成果。例如，吴的工作被国际最高数学奖——菲尔兹奖的五位获奖者所引用，即法国数学家汤姆、美国数学家米尔诺、斯梅尔、威滕和英国数学家阿提亚，其中三位在获奖工作中也使用了吴的成果。数学大师先生称赞吴“对纤维团簇性的研究做出了划时代的贡献”由于上述两项任务，吴文俊于1956年获得了首届“国家自然科学一等奖”

吴文俊对数学的主要领域拓扑学做出了巨大贡献。他引进的指示类和指示类称为“吴指示类”和“吴指示类”，他导出的指示类之间的关系称为“吴公式”。他的工作是20世纪50年代前后拓扑学的重大突破之一，成为影响深远的经典成果。

开创数学机械化的领域

1977年，吴文俊首次成功地进行了初等几何定理的机械证明，并提出了吴的几何定理的机械证明方法。之后，微分几何定理的力学证明方法、方程符号解的吴消元法、全局优化的有限检查定理相继提出，建立了数学机械化体系。他不仅奠定了数学机械化的基础，而且将这一理论应用于许多高科技领域，解决了曲面拼接、机械设计、计算机视觉和机器人等高科技领域的核心问题。这样，中国人自己开辟了一条新的数学道路，产生了巨大的国际影响。

1997年，吴文俊获得了“自动推理杰出成就奖”，这是自动推理领域的最高国际奖项。获奖感言中提到，在“吴法”出现之前，几何定理的自动证明进展甚微。“在自动推理的一些领域，这种被动的局面被一个人完全扭转了。吴文俊显然就是这样的人。”吴的工作使“几何定理证明的研究得到了充分的复兴，成为自动推理领域中最活跃、最成功的领域之一。”

自1960年以来，吴文俊一直担任中国科技大学数学系60年级学生的讲师，并在中国科技大学培养了80多名学生，其中一些人已成为各自领域的领军人物，涌现出许多国际知名学者。

1990年，以吴文俊为首的“中国科学院数学机械化中心”在北京成立。2003年，中国科学院数学机械化重点实验室由数学机械化中心和信息安全中心共同建立。目前，该实验室已成为国际计算机数学领域最著名的领导团队之一。

后人评论说，中国科学院数学与系统科学研究所在悼词中评论说:

吴文俊治学严谨，学术思想活跃，但从不关注个人名利。不管他的声誉有多高，他总是在科学研究的第一线勤奋工作，不断进步，取得新的成就。他的努力可以从他阅读庞特里亚金的俄文原文中看出，原文是通过字典逐字逐句找到的。当他开始从事机器验证时，他几乎处于全盛时期。为了验证他提出的方法的有效性，他学会了从头开始编写计算机程序，并用fortran语言实现了符号计算和几何定理证明的算法。编程的工作量是巨大的。他每天在电脑房里连续工作十几个小时，终于成功了。他平易近人，乐于助人，乐于宣传他人的成就，他的学术风格是民主的。

吴文俊怀着强烈的爱国主义，于1951年放弃了在法国的优越条件，回到祖国参加社会主义建设。他非常关心祖国的经济建设和国内的重大建设项目。他对中国文化有着深刻的理解，并通过自己的科研工作为中国文化的复兴做出了重要贡献。

1994年在香港求是科技基金会“杰出科学家”奖颁奖典礼上，陈省身先生介绍了吴文俊的学术成就，并称赞他保持了历史上许多伟大数学家对纯数学和应用数学做出贡献的传统。他的工作总体上是“独特的、创新的和创造性的”，他的机器证明理论“保持了中国数学的传统”，并称赞“这是一个非常杰出的。”

此外，国际机器认证研究领域的权威人物s·穆尔也高度赞扬了吴文俊院士:

“在吴文俊之前，机械化的几何定理是在黑暗时期被证明的，吴的工作给整个领域带来了光明。”

吴文俊院士的离任是中国的一大损失。不幸的是，这种不知名的人总是在离开后才为人所知。

雷锋文章版权所有。严禁擅自转载。详情请参考转载说明。

来源：搜狐微门户