中科院院士吴文俊获2006年度邵逸夫数学科学奖

　　邵逸夫奖数学科学奖得主中国科学院87岁的吴文俊教授﹐2006年9月12日晚在香港邵逸夫奖颁奖大会上演讲。这个奖项是为表彰他对一新兴学科的贡献和数学的机器证明法。中新社发 宋吉河 摄

　　版权声明:凡标注有“cnsphoto”字样的图片版权均属中国新闻网，未经书面授权，不得转载使用。

　　中新社北京九月二十五日电 (记者 孙自法)记者二十五日从中国科学院数学与系统科学研究院获悉，中科院院士、该院系统科学研究所名誉所长吴文俊研究员，本月中旬在香港举行的第三届邵逸夫奖颁奖典礼上，荣获二○○六年度邵逸夫数学科学奖。

　　中科院数学与系统科学研究院、中国数学会当天在北京举办庆祝会，全国人大常委会副委员长丁石孙教授、邵逸夫奖评审委员会主席杨振宁教授以及中国数学领域众多知名科学家相聚一堂，共贺吴文俊获此殊荣。

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

　　邵逸夫奖评审委员会称，吴文俊的这些科研成果不仅对数学研究影响深远，还在许多高科技领域得到应用。吴文俊是中国最具国际影响的数学家之一，他的成就缩短了中国现代数学与国际上的差距，长了中国人的志气。