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