著名数学家、中科院院士

首届国家最高科技奖得主

吴文俊逝世

　　据新华社北京5月7日电(记者董瑞丰)中国科学院数学与系统科学研究院7日发布讣告称,我国著名数学家、中国科学院院士、首届国家最高科技奖得主吴文俊因病医治无效,于2017年5月7日7时21分在北京逝世,享年98岁。

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

　　吴文俊曾获得首届国家最高科技奖(2000年)、首届国家自然科学一等奖(1956年)、首届求是杰出科学家奖(1994年)、邵逸夫数学奖(2006年)、国际自动推理最高奖——埃尔布朗自动推理杰出成就奖(1997年)等。