中新社北京九月二十五日電 (記者 孫自法)記者二十五日從中國科學(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é)所作出的杰出貢獻(xiàn)，而獲得邵逸夫數(shù)學(xué)科學(xué)獎。他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”，這一工作是上世紀(jì)五十年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。七十年代后期，他又開創(chuàng)嶄新的數(shù)學(xué)機械化領(lǐng)域，提出用計算機證明幾何定理的“吳方法”，這被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作。
邵逸夫獎評審委員會稱，吳文俊的這些科研成果不僅對數(shù)學(xué)研究影響深遠(yuǎn)，還在許多高科技領(lǐng)域得到應(yīng)用。吳文俊是中國最具國際影響的數(shù)學(xué)家之一，他的成就縮短了中國現(xiàn)代數(shù)學(xué)與國際上的差距，長了中國人的志氣。
