吳文俊是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，他對(duì)數(shù)學(xué)的核心領(lǐng)域拓?fù)鋵W(xué)做出了重大貢獻(xiàn)、開(kāi)創(chuàng)了數(shù)學(xué)機(jī)械化新領(lǐng)域，對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。  。他引進(jìn)的示性類(lèi)和示嵌類(lèi)被稱(chēng)為“吳示性類(lèi)”和“吳示嵌類(lèi)”，他導(dǎo)出的示性類(lèi)之間的關(guān)系式被稱(chēng)為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。1970年代后期，他開(kāi)創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，提出了用計(jì)算機(jī)證明幾何定理的“吳方法”，被認(rèn)為是自動(dòng)推理領(lǐng)域的先驅(qū)性工作。他是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，他的工作對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。

 

 

　　吳文俊1919年出生于上海，1940年本科畢業(yè)于上海交通大學(xué)，1946年在中央研究院數(shù)學(xué)所工作、在陳省身先生指導(dǎo)下開(kāi)始從事拓?fù)鋵W(xué)研究，1947年赴法留學(xué)，師從埃里斯曼與嘉當(dāng)，1949年畢業(yè)于法國(guó)斯特拉斯堡大學(xué)，獲得法國(guó)國(guó)家博士學(xué)位，隨后在法國(guó)國(guó)家科學(xué)中心任研究員。新中國(guó)成立后，吳文俊于1951年回國(guó)工作，先在北京大學(xué)數(shù)學(xué)系任教授，1952年到中國(guó)科學(xué)院數(shù)學(xué)研究所任研究員,直到1980年轉(zhuǎn)入中國(guó)科學(xué)院系統(tǒng)科學(xué)所，1998年轉(zhuǎn)入新成立的中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院。他曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)（1985-1987），中國(guó)科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國(guó)政協(xié)委員、常委（1979-1998），2002年國(guó)際數(shù)學(xué)家大會(huì)主席，1993年開(kāi)始任中國(guó)科學(xué)院系統(tǒng)所名譽(yù)所長(zhǎng)。

 

　　從1946年到1951年，吳文俊主要從事施蒂費(fèi)爾-惠特尼示性類(lèi)的研究工作；從1953年到1957年，他主要從事龐特里亞金示性類(lèi)的研究工作。其后，吳文俊轉(zhuǎn)向示嵌類(lèi)的研究。由于他在拓?fù)鋵W(xué)示性類(lèi)及示嵌類(lèi)方面的出色工作，吳文俊與華羅庚、錢(qián)學(xué)森一起榮獲1956年國(guó)家第一屆自然科學(xué)獎(jiǎng)的最高獎(jiǎng)——一等獎(jiǎng)，并于1957年增選為中國(guó)科學(xué)院學(xué)部委員(院士)。1958年吳文俊被邀請(qǐng)到國(guó)際數(shù)學(xué)家大會(huì)作分組報(bào)告（因故未能成行）。

 

　　1976年，吳文俊在中國(guó)古算研究的基礎(chǔ)上，開(kāi)拓了機(jī)械化數(shù)學(xué)的嶄新領(lǐng)域。1986年吳文俊被邀請(qǐng)到國(guó)際數(shù)學(xué)家大會(huì)作分組報(bào)告，1990年榮獲第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)，1993年獲陳嘉庚數(shù)理科學(xué)獎(jiǎng)，1994年獲首屆香港求是杰出科學(xué)家獎(jiǎng)，1997年獲得國(guó)際自動(dòng)推理最高獎(jiǎng)厄布朗（Herbrand）自動(dòng)推理杰出成就獎(jiǎng)。

 

　　2000年，吳文俊由于對(duì)拓?fù)鋵W(xué)與數(shù)學(xué)機(jī)械化的貢獻(xiàn)，獲得首屆最高國(guó)家科學(xué)技術(shù)獎(jiǎng)。2006年吳文俊由于 “對(duì)數(shù)學(xué)機(jī)械化新興交叉學(xué)科的貢獻(xiàn) ”與美國(guó)數(shù)學(xué)家David Mumford共同獲得了有東方諾貝爾獎(jiǎng)之稱(chēng)的 “邵逸夫數(shù)學(xué)獎(jiǎng)”及一百萬(wàn)美元的獎(jiǎng)金。評(píng)獎(jiǎng)委員會(huì)認(rèn)為：“通過(guò)引入深邃的數(shù)學(xué)思想，吳開(kāi)辟了一種全新的方法，該方法被證明在解決一大類(lèi)問(wèn)題上都是極為有效的。”“吳的方法使該領(lǐng)域發(fā)生了一次徹底的革命性變化，并導(dǎo)致了該領(lǐng)域研究方法的變革。” 他的工作“揭示了數(shù)學(xué)的廣度，為未來(lái)的數(shù)學(xué)家們樹(shù)立了新的榜樣。”

 

　　吳文俊的研究工作涉及代數(shù)拓?fù)鋵W(xué)、微分拓?fù)鋵W(xué)、代數(shù)幾何學(xué)、對(duì)策論、中國(guó)數(shù)學(xué)史、數(shù)學(xué)機(jī)械化等多個(gè)數(shù)學(xué)領(lǐng)域并在其中做出了獨(dú)特的貢獻(xiàn)?，F(xiàn)介紹最重要的兩個(gè)領(lǐng)域：拓?fù)鋵W(xué)與數(shù)學(xué)機(jī)械化。

 

 

　　拓?fù)鋵W(xué)是現(xiàn)代數(shù)學(xué)的主要領(lǐng)域之一。法國(guó)現(xiàn)代數(shù)學(xué)家狄多奈稱(chēng)拓?fù)鋵W(xué)是現(xiàn)代數(shù)學(xué)的女王。陳省身先生稱(chēng)拓?fù)涞陌l(fā)展是二十世紀(jì)上半世紀(jì)在純粹數(shù)學(xué)的最大成就。示性類(lèi)是拓?fù)鋵W(xué)中最基本的整體不變量。

 

　　上世紀(jì)50年代前后，示性類(lèi)研究還處在起步階段。吳文俊將示性類(lèi)概念由繁化簡(jiǎn)，由難變易，引入新的方法和手段，形成了系統(tǒng)的理論。他引入了一類(lèi)示性類(lèi)，被稱(chēng)為吳示性類(lèi)。他還給出了刻畫(huà)各種示性類(lèi)之間關(guān)系的吳公式。在他的工作之前，示性類(lèi)的計(jì)算有極大的困難。吳的工作給出了示性類(lèi)之間的關(guān)系與計(jì)算方法。由此拓?fù)鋵W(xué)和數(shù)學(xué)的其他分支結(jié)合得更加緊密，許多新的研究領(lǐng)域應(yīng)運(yùn)而生。這最終使示性類(lèi)理論成為拓?fù)鋵W(xué)中最完美的一章。

 

　　拓?fù)鋵W(xué)中最基本問(wèn)題之一是嵌入問(wèn)題。在吳的工作之前，嵌入理論只有零散的結(jié)果。吳提出了吳示嵌類(lèi)等一系列拓?fù)洳蛔兞?，研究了嵌入理論的核心?wèn)題，并由此發(fā)展了統(tǒng)一的嵌入理論。

 

　　在拓?fù)鋵W(xué)研究中，吳起到了承前啟后的作用。在他的工作的影響下，研究拓?fù)鋵W(xué)的武器庫(kù)得以形成，這極大地推進(jìn)了拓?fù)鋵W(xué)的發(fā)展。許多著名數(shù)學(xué)家從吳的工作中受到啟發(fā)或直接以吳的成果為起始點(diǎn)之一，獲得了一系列重大成果。例如，吳的工作被五位國(guó)際數(shù)學(xué)最高獎(jiǎng)-菲爾茲獎(jiǎng)-得主引用，他們分別是法國(guó)數(shù)學(xué)家托姆、美國(guó)數(shù)學(xué)家米爾諾、斯梅爾、維騰，英國(guó)數(shù)學(xué)家阿提亞，其中三位還在他們的獲獎(jiǎng)工作中使用了吳的結(jié)果。數(shù)學(xué)大師陳省身先生稱(chēng)贊吳“對(duì)纖維叢示性類(lèi)的研究做出了劃時(shí)代的貢獻(xiàn)。”由于以上兩項(xiàng)工作，1956年吳文俊獲首屆“國(guó)家自然科學(xué)一等獎(jiǎng)。”

 

　　吳文俊對(duì)數(shù)學(xué)的主要領(lǐng)域—拓?fù)鋵W(xué)做出了重大貢獻(xiàn)。他引進(jìn)的示性類(lèi)和示嵌類(lèi)被稱(chēng)為“吳示性類(lèi)”和“吳示嵌類(lèi)”，他導(dǎo)出的示性類(lèi)之間的關(guān)系式被稱(chēng)為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。

 

 

　　1977年吳文俊在初等幾何定理的機(jī)械化證明方面首先取得成功，提出了幾何定理機(jī)器證明的吳方法。此后，相繼提出微分幾何的定理機(jī)械化證明方法，方程組符號(hào)求解的吳消元法，全局優(yōu)化的有限核定理，建立了數(shù)學(xué)機(jī)械化體系。他不僅建立數(shù)學(xué)機(jī)械化的基礎(chǔ)，而且將這一理論應(yīng)用于多個(gè)高技術(shù)領(lǐng)域，解決了曲面拼接、機(jī)構(gòu)設(shè)計(jì)、計(jì)算機(jī)視覺(jué)、機(jī)器人等高技術(shù)領(lǐng)域核心問(wèn)題。這樣走出了完全是中國(guó)人自己開(kāi)拓的新的數(shù)學(xué)道路，產(chǎn)生了巨大的國(guó)際影響。

 

　　1997年吳文俊獲得國(guó)際自動(dòng)推理最高獎(jiǎng)“Herbrand自動(dòng)推理杰出成就獎(jiǎng)”。授獎(jiǎng)詞中提到，幾何定理自動(dòng)證明在“吳方法”出現(xiàn)之前進(jìn)展甚微,“在不多的自動(dòng)推理領(lǐng)域中，這種被動(dòng)局面是由一個(gè)人完全扭轉(zhuǎn)的。吳文俊很明顯是這樣一個(gè)人。”吳的工作使得“幾何定理證明的研究已全面復(fù)興，變?yōu)樽詣?dòng)推理界最活躍與成功的領(lǐng)域之一。”

 

　　從1960年起，吳文俊擔(dān)任中國(guó)科學(xué)技術(shù)大學(xué)數(shù)學(xué)系60級(jí)學(xué)生的主講教師，在中國(guó)科學(xué)技術(shù)大學(xué)培養(yǎng)了80多名學(xué)生，有的已成為所在領(lǐng)域的領(lǐng)軍人物，并涌現(xiàn)出多名國(guó)際著名學(xué)者。

 

　　1990年，以吳文俊為首的“中國(guó)科學(xué)院數(shù)學(xué)機(jī)械化中心”正式成立。2003年,數(shù)學(xué)機(jī)械化中心與信息安全中心聯(lián)合成立了中國(guó)科學(xué)院數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室。該實(shí)驗(yàn)室目前已經(jīng)成為國(guó)際計(jì)算機(jī)數(shù)學(xué)領(lǐng)域最著名的領(lǐng)軍團(tuán)隊(duì)之一。

 

 

 

　　吳文俊治學(xué)嚴(yán)謹(jǐn)，學(xué)術(shù)思想活躍，但從來(lái)不注意個(gè)人名利，無(wú)論獲得多么高的聲譽(yù)，他總是勤奮地在科研第一線工作，一生積極進(jìn)取、鍥而不舍，不斷取得新的成就。他讀龐特里亞金的俄文原文完全是靠字典一個(gè)字一個(gè)字查出來(lái)的，其刻苦精神由此可見(jiàn)一斑。在開(kāi)始從事機(jī)器證明時(shí)，他已近花甲之年，為了驗(yàn)證自己所提方法的有效性，他從零開(kāi)始學(xué)習(xí)編寫(xiě)計(jì)算機(jī)程序，用Fortran語(yǔ)言實(shí)現(xiàn)了符號(hào)計(jì)算和幾何定理證明的算法。編程的工作量是巨大的，他每天十多個(gè)小時(shí)在機(jī)房連續(xù)工作，終于取得成功。他平易近人，樂(lè)于助人，樂(lè)于宣傳其他人的成績(jī)，學(xué)術(shù)作風(fēng)民主。

 

　　吳文俊具有強(qiáng)烈的愛(ài)國(guó)心，于1951年放棄在法國(guó)的優(yōu)越條件，回到祖國(guó)參加社會(huì)主義建設(shè)。他對(duì)祖國(guó)的經(jīng)濟(jì)建設(shè)和國(guó)內(nèi)重大建設(shè)項(xiàng)目十分關(guān)心。他對(duì)中國(guó)文化有著深刻的認(rèn)識(shí)并通過(guò)自己的科研工作為復(fù)興中國(guó)文化做出了重要貢獻(xiàn)。

 

　　在1994年香港求是科技基金會(huì)的“杰出科學(xué)家”獎(jiǎng)的頒獎(jiǎng)典禮上，陳省身先生介紹吳文俊的學(xué)術(shù)成就，盛贊他保持了歷史上的許多大數(shù)學(xué)家對(duì)純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)都有貢獻(xiàn)的傳統(tǒng)，他的工作一般來(lái)說(shuō)都是“獨(dú)出蹊徑，不襲前人，富創(chuàng)造性”，他的機(jī)器證明理論“保持了中國(guó)數(shù)學(xué)的傳統(tǒng)”，盛贊“這是一個(gè)十分杰出的數(shù)學(xué)家！”

 

　　此外，國(guó)際機(jī)器證明研究領(lǐng)域的權(quán)威人物S.穆?tīng)栆苍o予吳文俊院士高度評(píng)價(jià)：

 

　　“在吳文俊之前，機(jī)械化的幾何定理證明處于黑暗時(shí)期，而吳的工作個(gè)整個(gè)領(lǐng)域帶來(lái)光明。”

 

　　吳文俊院士的離開(kāi)對(duì)中國(guó)來(lái)說(shuō)，是莫大的損失。很遺憾，這些偉大而又低調(diào)的人，總是在離開(kāi)后才被世人熟知。