2000年度國家最高科學(xué)技術(shù)獎(jiǎng)獲獎(jiǎng)人

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

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

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

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

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

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