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

吴文俊 新华社图

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

    吴文俊1919年生于上海，1940年本科毕业于上海交通大学，1949年获法国国家博士学位，1951年回国，先后在北京大学、中科院数学所、中科院系统所、中科院数学与系统科学研究院任职。吴文俊对数学的主要领域——拓扑学作出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”，是上世纪五十年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。上世纪七十年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，其工作对数学与计算机科学研究影响深远。

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

    信息超市

    ■湖南攸县煤矿事故初步确认3死29伤 仍有18人被困井下 记者7日晚从湖南攸县有关部门最新证实，当天攸县黄丰桥镇一个煤矿发生安全事故，造成多人气体中毒，目前已救出32人，其中3人死亡，29人受伤。另外仍有18人被困井下。受伤的29人被送到医院救治，暂无生命危险。事故原因正在进一步调查中。