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