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

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

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

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

新闻推荐

别把公共免费WiFi当成花架子

■钱夙伟从去年开始，北京市分批在公共场所陆续开通了免费无线上网服务——“-MyBeijing-”。5月1日起，北京市经信委宣布，在公共场所，每位用户每天可享受的“-MyBeijing-”免费上网时长由两小时修改为...