吳文俊，1919年5月12日生于上海，世界著名數(shù)學(xué)家，1940年畢業(yè)于交通大學(xué)，1949年獲法國(guó)國(guó)家博士學(xué)位。中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長(zhǎng)，中國(guó)數(shù)學(xué)會(huì)名譽(yù)理事長(zhǎng)。

吳文俊是中國(guó)數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，中國(guó)科學(xué)院院士，第三世界科學(xué)院院士；曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)（1985～1987），中國(guó)科學(xué)院數(shù)理學(xué)部主任（1992～1994），全國(guó)政協(xié)委員、常委（1979～1998）。

吳文俊在拓?fù)鋵W(xué)、自動(dòng)推理、機(jī)器證明、代數(shù)幾何、中國(guó)數(shù)學(xué)史、對(duì)策論等研究領(lǐng)域均有杰出的貢獻(xiàn),在國(guó)內(nèi)外享有盛譽(yù)。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國(guó)際機(jī)器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價(jià)值。當(dāng)前國(guó)際流行的主要符號(hào)計(jì)算軟件都實(shí)現(xiàn)了吳文俊教授的算法。

吳文俊在數(shù)學(xué)上的重大貢獻(xiàn)

吳文俊在拓?fù)鋵W(xué)方面，在示性類、示嵌類等領(lǐng)域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。他還在拓?fù)洳蛔兞?、代?shù)流形等問題上有創(chuàng)造性工作。1956年吳文俊因在拓?fù)鋵W(xué)中的示性類和示嵌類方面的卓越成就獲中國(guó)自然科學(xué)獎(jiǎng)一等獲。

在數(shù)學(xué)機(jī)械化或機(jī)器證明方面，吳文俊從初等幾何著手，在計(jì)算機(jī)上證明了一類高難度的定理，同時(shí)也發(fā)現(xiàn)了一些新定理，進(jìn)一步探討了微分幾何的定理證明。提出了利用機(jī)器證明與發(fā)現(xiàn)幾何定理的新方法。這項(xiàng)工作為數(shù)學(xué)研究開辟了一個(gè)新的領(lǐng)域，將對(duì)數(shù)學(xué)的革命產(chǎn)生深遠(yuǎn)的影響。1978年，這項(xiàng)成果獲全國(guó)科學(xué)大會(huì)重大科技成果獎(jiǎng)。

在中國(guó)數(shù)學(xué)史方面，吳文俊認(rèn)為中國(guó)古代數(shù)學(xué)的特點(diǎn)是：從實(shí)際問題出發(fā)，經(jīng)過分析提高，再抽象出一般的原理、原則和方法，最終達(dá)到解決一大類問題的目的。他對(duì)中國(guó)古代數(shù)學(xué)在數(shù)論、代數(shù)、幾何等方面的成就也提出了精辟的見解。

吳文俊的數(shù)學(xué)研究活動(dòng)，可分為前后兩個(gè)時(shí)期，涉及到好幾個(gè)數(shù)學(xué)領(lǐng)域，前期自1947年至20世紀(jì)70年代，以代數(shù)拓?fù)錇橹?，他的貢獻(xiàn)主要有兩個(gè)方面：

示性類研究

通過Grassmann流形對(duì)在20世紀(jì)30年代由瑞士Stiefel、美國(guó)Whitney、蘇聯(lián)Pontrjajin和陳省身引入的示性類進(jìn)行了系統(tǒng)的論述，確定了名稱，探討了相應(yīng)關(guān)系，并應(yīng)用于流形的構(gòu)造。他引入的上同調(diào)類，后來在文獻(xiàn)中被稱之為吳示性類，他提出的蘊(yùn)含拓?fù)洳蛔冃院屯瑐惒蛔冃缘膬蓚€(gè)公式，后來都被稱之為吳公式。由于這些結(jié)果的根本重要性，在多種問題中被廣泛應(yīng)用，如20世紀(jì)50年代德國(guó)的Dold,20世紀(jì)60年代德國(guó)的Hirzebruch蘇聯(lián)的Novikov并因而獲Fields獎(jiǎng)。

示嵌類研究

他引入具有非同倫拓?fù)洳蛔兞康囊环N一般構(gòu)造方法，并系統(tǒng)地用之于嵌入問題，引入了復(fù)合形示嵌類，并用同樣方法研究浸入問題與同痕問題，引入類似的示浸類與示痕類。瑞士Haefiger由于在1958年聽到了他關(guān)于上述示嵌類研究工作的講學(xué)，于1961年將嵌入問題作了重要推廣，因而成為瑞士主要拓?fù)鋵＜?。美?guó)Smale應(yīng)用他的工作于維數(shù)大于4的Poincare猜測(cè)，并因而獲Fields獎(jiǎng)。他后來應(yīng)用關(guān)于示嵌類的成果于電路布線問題，給出線性圖平面性的新的判定準(zhǔn)則，與以往的判定準(zhǔn)則在性質(zhì)上完全不同，尤其是可計(jì)算。

應(yīng)當(dāng)注意的是他在1956年前完成的研究成果的重要性，在多年以后才顯現(xiàn)出來，至今仍在國(guó)際上廣泛引用。

吳文俊的后期數(shù)學(xué)研究始于1976年，主要從事機(jī)器證明與數(shù)學(xué)機(jī)械化等方面的工作。

他提出的用計(jì)算機(jī)證明幾何定理的方法，與常用的基于數(shù)理邏輯的方法根本不同，顯現(xiàn)了無比的優(yōu)越性，改變了國(guó)際上自動(dòng)推理研究的面貌，被稱為自動(dòng)推論領(lǐng)域的先驅(qū)性工作，并因此獲得Herbrand自動(dòng)推論杰出成就獎(jiǎng)。以下是14屆國(guó)際自動(dòng)推論大會(huì)上對(duì)吳文俊工作的介紹與評(píng)價(jià)。

吳文俊在自動(dòng)推理界以他于1977年發(fā)明的(定理證明)方法著稱。這一方法是幾何定理自動(dòng)證明領(lǐng)域的突破。

幾何定理自動(dòng)證明首先由HerbertGerlenter于20世紀(jì)50年代開始研究。雖然得到了一些有意義的結(jié)果，但在吳方法出現(xiàn)之前的二十年里這一領(lǐng)域進(jìn)展甚微。

在不多的自動(dòng)推理領(lǐng)域中，這種被動(dòng)局面是由一個(gè)人完全扭轉(zhuǎn)的。吳文俊很明顯是這樣一個(gè)人。吳的工作將幾何定理證明自動(dòng)推理的一個(gè)不太成功的領(lǐng)域變?yōu)樽畛晒Φ念I(lǐng)域之一。在很少的領(lǐng)域中，我們可以將機(jī)器證明歸于一個(gè)人的工作。幾何定理證明就是這樣的一個(gè)領(lǐng)域。

吳文俊引入的求解非線性代數(shù)方程組的吳方法是求解代數(shù)方程組精確解最完整的方法之一，已經(jīng)被成功地用于解決很多問題，并實(shí)現(xiàn)在當(dāng)前流行的符號(hào)計(jì)算軟件中。歐共體資助的POSSO計(jì)劃(POlynomialSystemSOlving)中也有吳方法的專用軟件包。

吳方法還被用于若干高科技領(lǐng)域，得到一系列國(guó)際領(lǐng)先的成果。包括曲面造型，機(jī)器人機(jī)構(gòu)的位置分析，智能CAD系統(tǒng)(計(jì)算機(jī)輔助設(shè)計(jì))，機(jī)器人，圖像壓縮等。

20世紀(jì)80年代末，他提出了偏微分代數(shù)方程組的整序方法，是目前處理偏微分代數(shù)方程組的完整的構(gòu)造性方法。該方法已被應(yīng)用于微分幾何定理機(jī)器證明和偏微分方程組求解。擴(kuò)展了代數(shù)簇的通常局限無奇點(diǎn)情形的陳示性數(shù)于有任意奇點(diǎn)的陳類與陳數(shù)，且定義是可計(jì)算的，形成代數(shù)幾何機(jī)械化的新篇章。

他給出了多元多項(xiàng)式組的零點(diǎn)結(jié)構(gòu)定理，這是構(gòu)造性代數(shù)幾何發(fā)展的重要標(biāo)志。