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

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

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

兰州轨道技校 兰州技工学校 兰州技术学校 兰州职业技校 甘肃高铁技校

轨道交通运输技工学校是由甘肃省人力资源和社会保障厅批准成立的甘肃省唯一一所以培养轨道交通运输专业技术人才为主要任务的全日制职业学校。

免费咨询电话：400-1551-787 QQ：3084738067

网址：http://www.gsgdyx.com/

地址：兰州市七里河区西果园镇339号

延伸阅读：

• ·299个项目通过国家科技奖初评 评审专家名单公布(2015-06-25)
• ·一等奖接近半数！教育部推荐72项2017年国家科技奖(2017-02-07)
• ·诺贝尔奖得主高中生涯揭秘(2015-11-20)
• ·屠呦呦：隐身在集体中的诺奖得主(2015-12-03)
• ·诺奖得主屠呦呦呼吁共同努力关注抗疟问题(2015-12-08)