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