(公众号：)5月7日消息，中国科学院数学与系统科学研究院今日公布讣告称之为，我国知名数学家、中国科学院院士、首届国家最低科技奖获得者、中国科学院数学与系统科学研究院研究员吴文俊先生因病医治无效，于2017年5月7日7时在北京不幸逝世，享寿98岁。吴文俊是我国最不具国际影响的数学家之一，他对数学的核心领域拓扑学作出了重大贡献、首创了数学机械化新领域，对数学与计算机科学研究影响深远影响。他引入的示性类和示嵌类被称作“吴示性类”和“吴示金字类”，他给定的示性类之间的关系式被称作“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，沦为影响深远影响的经典性成果。

1970年代后期，他首创了崭新的数学机械化领域，明确提出了用计算机证明几何定理的“吴方法”，被指出是自动推理小说领域的先驱性工作。他是我国最不具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远影响。吴文俊生平概述吴文俊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年取得国际自动推理小说最高奖厄布朗（Herbrand）自动推理小说卓越成就奖。2000年，吴文俊由于对拓扑学与数学机械化的贡献，取得首届最低国家科学技术奖。2006年吴文俊由于 “对数学机械化新兴交叉学科的贡献 ”与美国数学家David Mumford联合取得了有东方诺贝尔奖之称之为的 “邵逸夫数学奖”及一百万美元的奖金。

评奖委员会指出：“通过引进优美的数学思想，吴修筑了一种全新的方法，该方法被证明在解决问题众多类问题上都是十分有效地的。”“吴的方法使该领域再次发生了一次完全的革命性变化，并造成了该领域研究方法的变革。” 他的工作“说明了了数学的广度，为未来的数学家们竖立了新的榜样。

”吴文俊的研究工作牵涉到代数拓扑学、微分拓扑学、代数几何学、对策论、中国数学史、数学机械化等多个数学领域并在其中作出了独有的贡献。现讲解最重要的两个领域：拓扑学与数学机械化。

对拓扑学的重大贡献拓扑学是现代数学的主要领域之一。法国现代数学家狄多奈称之为拓扑学是现代数学的女王。

陈省身先生称之为流形的发展是二十世纪上半世纪在纯粹数学的仅次于成就。示性类是拓扑学中最基本的整体不变量。上世纪50年代前后，示性类研究还处在跟上阶段。

吴文俊将示性类概念由繁化珍，由无以变易，引进新的方法和手段，构成了系统的理论。他引进了一类示性类，被称作吴示性类。

他还得出了刻画各种示性类之间关系的吴公式。在他的工作之前，示性类的计算出来有很大的艰难。

吴的工作得出了示性类之间的关系与计算方法。由此拓扑学和数学的其他分支融合得更为密切，许多新的研究领域应运而生。这最后使示性类理论沦为拓扑学中最极致的一章。

拓扑学中最基本问题之一是映射问题。在吴的工作之前，映射理论只有零散的结果。

吴明确提出了吴示金字类等一系列流形不变量，研究了映射理论的核心问题，并由此发展了统一的映射理论。在拓扑学研究中，吴起着了承前启后的起到。在他的工作的影响下，研究拓扑学的武器库以求构成，这很大地前进了拓扑学的发展。许多知名数学家从吴的工作中受到灵感或必要以吴的成果为接续点之一，取得了一系列重大成果。

例如，吴的工作被五位国际数学最高奖-菲尔兹奖-获得者提到，他们分别是法国数学家托姆、美国数学家米尔诺、斯梅尔、维腾，英国数学家阿提亚，其中三位还在他们的得奖工作中用于了吴的结果。数学大师陈省身先生赞扬吴“对纤维丛示性类的研究作出了划时代的贡献。”由于以上两项工作，1956年吴文俊获得首届“国家自然科学一等奖。

”吴文俊对数学的主要领域—拓扑学作出了重大贡献。他引入的示性类和示嵌类被称作“吴示性类”和“吴示金字类”，他给定的示性类之间的关系式被称作“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，沦为影响深远影响的经典性成果。首创数学机械化领域1977年吴文俊在初等几何定理的机械化证明方面首先取得成功，明确提出了几何定理机器证明的吴方法。

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

1997年吴文俊取得国际自动推理小说最高奖“Herbrand自动推理小说卓越成就奖”。颁给词中提及，几何定理自动证明在“吴方法”经常出现之前进展不大,“在不多的自动推理小说领域中，这种被动局面是由一个人几乎挽回的。吴文俊很显著是这样一个人。”吴的工作使得“几何定理证明的研究已全面兴起，变成自动推理小说界最活跃与顺利的领域之一。

”从1960年起，吴文俊兼任中国科学技术大学数学系60级学生的讲学教师，在中国科学技术大学培育了80多名学生，有的已沦为所在领域的领军人物，并辈出多名国际知名学者。1990年，以吴文俊派的“中国科学院数学机械化中心”正式成立。2003年,数学机械化中心与信息安全中心牵头正式成立了中国科学院数学机械化重点实验室。

该实验室目前早已沦为国际计算机数学领域最知名的领军团队之一。后人评价中国科学院数学与系统科学研究院在悼词中评价称之为：吴文俊治学严谨，学术思想活跃，但从不留意个人名利，无论取得多么低的声誉，他总是刻苦地在科研第一线工作，一生积极进取、锲而不舍，大大获得新的成就。他读书庞特里亚金的俄文原文几乎是靠字典一个字一个字查出来的，其勤奋精神由此可见一斑。在开始专门从事机器证明时，他已将近花甲之年，为了检验自己所托方法的有效性，他从零开始自学撰写计算机程序，用Fortran语言构建了符号计算和几何定理证明的算法。

编程的工作量是极大的，他每天十多个小时在机房倒数工作，再一取得成功。他平易近人，乐于助人，乐意宣传其他人的成绩，学术作风民主。吴文俊具备反感的爱国心，于1951年退出在法国的良好条件，返回祖国参与社会主义建设。

他对祖国的经济建设和国内根本性建设项目十分关心。他对中国文化具有深刻印象的了解并通过自己的科研工作为兴起中国文化作出了最重要贡献。在1994年香港欲是科技基金会的“卓越科学家”奖的颁奖典礼上，陈省身先生讲解吴文俊的学术成就，盛赞他维持了历史上的许多大数学家对纯粹数学与应用于数学都有贡献的传统，他的工作一般来说都是“独出蹊径，不叛前人，富创造性”，他的机器证明理论“维持了中国数学的传统”，盛赞“这是一个十分卓越的数学家！”此外，国际机器证明研究领域的权威人物S.穆尔也曾给与吴文俊院士高度评价：“在吴文俊之前，机械化的几何定理证明正处于黑暗时期，而吴的工作个整个领域带给光明。”吴文俊院士的离开了对中国来说，是莫大的损失。

很失望，这些最出色而又高调的人，总是在离开了后才被世人熟悉。版权文章，予以许可禁令刊登。

下文闻刊登须知。

本文来源：6T体育官网-www.mingyunzhang.com