中新網(wǎng)北京2月19日消息：在今天上午舉行的國(guó)家科學(xué)技術(shù)獎(jiǎng)勵(lì)大會(huì)上，著名數(shù)學(xué)家吳文俊院士獲得首屆中國(guó)最高科技獎(jiǎng)。以下是他的簡(jiǎn)介：

　　吳文俊，男，1919年5月出生于上海，1940年畢業(yè)于上海交通大學(xué)數(shù)學(xué)系。

　　1946年赴法國(guó)Strassbourg大學(xué)留學(xué)，獲博士學(xué)位。1957年被選為中國(guó)科學(xué)院學(xué)部委員(院士)。1990年被第三世界科學(xué)院選為院士。

　　1952年至1979年任中國(guó)科學(xué)院數(shù)學(xué)所副所長(zhǎng)、研究員。1979年至現(xiàn)在任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所副所長(zhǎng)、名譽(yù)所長(zhǎng)、研究員。

　　吳文俊院士是著名的數(shù)學(xué)家，他的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域。在多年的研究中取得了豐碩成果。其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個(gè)領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國(guó)際數(shù)學(xué)界稱為“吳公式”，“吳示性類”，“吳示嵌類”，至今仍被國(guó)際同行廣泛引用，影響深遠(yuǎn)，享譽(yù)世界。

　　70年代后期，在計(jì)算機(jī)技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國(guó)古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機(jī)器證明，徹底改變了這個(gè)領(lǐng)域的面貌，是國(guó)際自動(dòng)推理界先驅(qū)性的工作，被稱為“吳方法”，產(chǎn)生了巨大影響。吳的研究取得了一系列國(guó)際領(lǐng)先成果并已應(yīng)用于國(guó)際上當(dāng)前流行的符號(hào)計(jì)算軟件方面。

　　吳文俊院士熱愛(ài)祖國(guó)，有高尚的科學(xué)道德，是數(shù)學(xué)界德高望重的前輩，至今仍在數(shù)學(xué)機(jī)械化研究的第一線。在50多年的研究工作中，始終站在數(shù)學(xué)領(lǐng)域的前沿，做出了原創(chuàng)性研究成果。在國(guó)際上產(chǎn)生了重大影響。

來(lái)源：新浪網(wǎng)