中新社北京九月二十五日電 (記者 孫自法)記者二十五日從中國科學院數學與系統科學研究院獲悉,中科院院士、該院系統科學研究所名譽所長吳文俊研究員,本月中旬在香港舉行的第三屆邵逸夫獎頒獎典禮上,榮獲二○○六年度邵逸夫數學科學獎。
中科院數學與系統科學研究院、中國數學會當天在北京舉辦慶祝會,全國人大常委會副委員長丁石孫教授、邵逸夫獎評審委員會主席楊振寧教授以及中國數學領域眾多知名科學家相聚一堂,共賀吳文俊獲此殊榮。
吳文俊以其在數學的主要領域——拓撲學所作出的杰出貢獻,而獲得邵逸夫數學科學獎。他導出的示性類之間的關系式被稱為“吳公式”,這一工作是上世紀五十年代前后拓撲學的重大突破之一,成為影響深遠的經典性成果。七十年代后期,他又開創嶄新的數學機械化領域,提出用計算機證明幾何定理的“吳方法”,這被認為是自動推理領域的先驅性工作。
邵逸夫獎評審委員會稱,吳文俊的這些科研成果不僅對數學研究影響深遠,還在許多高科技領域得到應用。吳文俊是中國最具國際影響的數學家之一,他的成就縮短了中國現代數學與國際上的差距,長了中國人的志氣。