首届国家最高科技奖得主吴文俊逝世

——导出的示性类之间关系式被称为“吴公式”

　　本报讯（记者 王晓芸）北京青年报记者昨日从中国科学院获悉，我国著名数学家、中国科学院院士、首届国家最高科技奖获得者吴文俊因病医治无效，于5月7日7时在北京逝世，享年98岁。

　　公开资料显示，吴文俊1919年出生于上海，1940年本科毕业于上海交通大学，1946年在中央研究院数学所工作，在陈省身指导下开始从事拓扑学研究，1947年赴法留学，随后在法国国家科学中心任研究员。新中国成立后，吴文俊于1951年回国工作，先在北京大学数学系任教授，1952年到中国科学院数学研究所任研究员，直到1980年转入中国科学院系统科学所，1998年转入新成立的中国科学院数学与系统科学研究院。他曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002年国际数学家大会主席，1993年开始任中国科学院系统所名誉所长。

　　据了解，吴文俊是我国最具国际影响的数学家之一，他对数学的核心领域拓扑学做出了重大贡献，开创了数学机械化新领域，对数学与计算机科学研究影响深远。

　　上世纪50年代，示性类研究还处在起步阶段。吴文俊将示性类概念由繁化简，由难变易，引入新的方法和手段，形成了系统的理论。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。上世纪70年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。

　　1990年吴文俊荣获第三世界科学院数学奖，1993年获陈嘉庚数理科学奖，1994年获首届香港求是杰出科学家奖，1997年获得国际自动推理最高奖厄布朗自动推理杰出成就奖。2000年，吴文俊由于对拓扑学与数学机械化的贡献，获得首届国家最高科学技术奖。著名数学家陈省身曾这样评价他：“独出蹊径、不袭前人、富创造性”，“这是一个十分杰出的数学家！”