中新社北京九月二十五日电 (记者 孙自法)记者二十五日从中国科学院数学与系统科学研究院获悉,中科院院士、该院系统科学研究所名誉所长吴文俊研究员,本月中旬在香港举行的第三届邵逸夫奖颁奖典礼上,荣获二○○六年度邵逸夫数学科学奖。
中科院数学与系统科学研究院、中国数学会当天在北京举办庆祝会,全国人大常委会副委员长丁石孙教授、邵逸夫奖评审委员会主席杨振宁教授以及中国数学领域众多知名科学家相聚一堂,共贺吴文俊获此殊荣。
吴文俊以其在数学的主要领域——拓扑学所作出的杰出贡献,而获得邵逸夫数学科学奖。他导出的示性类之间的关系式被称为“吴公式”,这一工作是上世纪五十年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。七十年代后期,他又开创崭新的数学机械化领域,提出用计算机证明几何定理的“吴方法”,这被认为是自动推理领域的先驱性工作。
邵逸夫奖评审委员会称,吴文俊的这些科研成果不仅对数学研究影响深远,还在许多高科技领域得到应用。吴文俊是中国最具国际影响的数学家之一,他的成就缩短了中国现代数学与国际上的差距,长了中国人的志气。