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

据了解，吴文俊是我国最具国际影响的数学家之一，他对数学的核心领域拓扑学作出了重大贡献、开创了数学机械化新领域，对数学与计算机科学研究影响深远。吴文俊1919年出生于上海，先在北京大学数学系任教授，1952年到中国科学院数学研究所任研究员，1980年转入中国科学院系统科学所，1998年转入新成立的中国科学院数学与系统科学研究院。他曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998），2002年国际数学家大会主席，1993年开始任中国科学院系统所名誉所长。

吴文俊引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是上世纪50年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。上世纪70年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。

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

来源：北京晚报  记者 孙乐琪