吴文俊资料图片

　　本报讯（记者孙乐琪）中国科学院数学与系统科学研究院今天发布讣告称，首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效，于今晨 7 时 21 分在北京不幸去世，享年 98 岁。

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

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

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