中國共產(chǎn)黨優(yōu)秀黨員、我國著名數(shù)學(xué)家、中國科學(xué)院院士、首屆國家最高科技獎獲得者、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員吳文俊先生因病醫(yī)治無效，于2017年5月7日7時21分在北京不幸逝世，享年98歲。
吳文俊1919年5月12日出生于上海。1940年畢業(yè)于上海交通大學(xué)，1946年到中央研究院數(shù)學(xué)所工作。1947年赴法國斯特拉斯堡大學(xué)留學(xué)，1949年獲得法國國家博士學(xué)位，隨后在法國國家科學(xué)中心任研究員。新中國成立后，吳文俊于1951年回國，先后在北京大學(xué)、中國科學(xué)院數(shù)學(xué)所、中國科學(xué)院系統(tǒng)所、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院任職。曾任中國數(shù)學(xué)會理事長、中國科學(xué)院數(shù)理學(xué)部主任、全國政協(xié)常委、2002年國際數(shù)學(xué)家大會主席、中國科學(xué)院系統(tǒng)所名譽所長。1957年當(dāng)選為中國科學(xué)院學(xué)部委員(院士)。
吳文俊對數(shù)學(xué)的主要領(lǐng)域—拓?fù)鋵W(xué)做出了重大貢獻。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠的經(jīng)典性成果。1970年代后期，他開創(chuàng)了嶄新的數(shù)學(xué)機械化領(lǐng)域，提出了用計算機證明幾何定理的“吳方法”，被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作。他是我國最具國際影響的數(shù)學(xué)家之一，他的工作對數(shù)學(xué)與計算機科學(xué)研究影響深遠。吳文俊曾獲得首屆國家最高科技獎(2000)、首屆國家自然科學(xué)一等獎(1956)、首屆求是杰出科學(xué)家獎(1994)、有東方諾貝爾獎之稱的邵逸夫數(shù)學(xué)獎(2006)、國際自動推理最高獎Herbrand自動推理杰出成就獎(1997)。他培養(yǎng)的許多學(xué)生已成為所在領(lǐng)域的領(lǐng)軍人物。他建立的數(shù)學(xué)機械化重點實驗室是國際符號計算領(lǐng)域最主要的研究中心之一。
吳文俊具有強烈的愛國心，于1951年放棄在法國的優(yōu)越條件，回到祖國參加社會主義建設(shè)。他對中國文化有著深刻的認(rèn)識，并通過自己的科研工作為復(fù)興中國文化做出了重要貢獻。
吳文俊生平介紹
吳文俊是我國最具國際影響的數(shù)學(xué)家之一，他對數(shù)學(xué)的核心領(lǐng)域拓?fù)鋵W(xué)做出了重大貢獻、開創(chuàng)了數(shù)學(xué)機械化新領(lǐng)域，對數(shù)學(xué)與計算機科學(xué)研究影響深遠。
吳文俊1919年出生于上海，1940年本科畢業(yè)于上海交通大學(xué)，1946年在中央研究院數(shù)學(xué)所工作、在陳省身先生指導(dǎo)下開始從事拓?fù)鋵W(xué)研究，1947年赴法留學(xué)，師從埃里斯曼與嘉當(dāng)，1949年畢業(yè)于法國斯特拉斯堡大學(xué)，獲得法國國家博士學(xué)位，隨后在法國國家科學(xué)中心任研究員。新中國成立后，吳文俊于1951年回國工作，先在北京大學(xué)數(shù)學(xué)系任教授，1952年到中國科學(xué)院數(shù)學(xué)研究所任研究員,直到1980年轉(zhuǎn)入中國科學(xué)院系統(tǒng)科學(xué)所，1998年轉(zhuǎn)入新成立的中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院。他曾任中國數(shù)學(xué)會理事長（1985-1987），中國科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國政協(xié)委員、常委（1979-1998），2002年國際數(shù)學(xué)家大會主席，1993年開始任中國科學(xué)院系統(tǒng)所名譽所長。
從1946年到1951年，吳文俊主要從事施蒂費爾-惠特尼示性類的研究工作；從1953年到1957年，他主要從事龐特里亞金示性類的研究工作。其后，吳文俊轉(zhuǎn)向示嵌類的研究。由于他在拓?fù)鋵W(xué)示性類及示嵌類方面的杰出工作，吳文俊獲1956年國家首屆自然科學(xué)一等獎，并于1957年增選為中國科學(xué)院學(xué)部委員(院士)。1958年吳文俊被邀請到國際數(shù)學(xué)家大會作分組報告（因故未能成行）。
1976年，吳文俊在中國古算研究的基礎(chǔ)上，開拓了機械化數(shù)學(xué)的嶄新領(lǐng)域。1986年吳文俊被邀請到國際數(shù)學(xué)家大會作分組報告，1990年榮獲第三世界科學(xué)院數(shù)學(xué)獎，1993年獲陳嘉庚數(shù)理科學(xué)獎，1994年獲首屆香港求是杰出科學(xué)家獎，1997年獲得國際自動推理最高獎厄布朗（Herbrand）自動推理杰出成就獎。
2000年，吳文俊由于對拓?fù)鋵W(xué)與數(shù)學(xué)機械化的貢獻，獲得首屆最高國家科學(xué)技術(shù)獎。2006年吳文俊由于 “對數(shù)學(xué)機械化新興交叉學(xué)科的貢獻 ”與美國數(shù)學(xué)家David Mumford共同獲得了有東方諾貝爾獎之稱的 “邵逸夫數(shù)學(xué)獎”及一百萬美元的獎金。評獎委員會認(rèn)為：“通過引入深邃的數(shù)學(xué)思想，吳開辟了一種全新的方法，該方法被證明在解決一大類問題上都是極為有效的。”“吳的方法使該領(lǐng)域發(fā)生了一次徹底的革命性變化，并導(dǎo)致了該領(lǐng)域研究方法的變革。” 他的工作“揭示了數(shù)學(xué)的廣度，為未來的數(shù)學(xué)家們樹立了新的榜樣。”
吳文俊的研究工作涉及代數(shù)拓?fù)鋵W(xué)、微分拓?fù)鋵W(xué)、代數(shù)幾何學(xué)、對策論、中國數(shù)學(xué)史、數(shù)學(xué)機械化等多個數(shù)學(xué)領(lǐng)域并在其中做出了獨特的貢獻�，F(xiàn)介紹最重要的兩個領(lǐng)域：拓?fù)鋵W(xué)與數(shù)學(xué)機械化。
對拓?fù)鋵W(xué)的重大貢獻
拓?fù)鋵W(xué)是現(xiàn)代數(shù)學(xué)的主要領(lǐng)域之一。法國現(xiàn)代數(shù)學(xué)家狄多奈稱拓?fù)鋵W(xué)是現(xiàn)代數(shù)學(xué)的女王。陳省身先生稱拓?fù)涞陌l(fā)展是二十世紀(jì)上半世紀(jì)在純粹數(shù)學(xué)的最大成就。示性類是拓?fù)鋵W(xué)中最基本的整體不變量。
上世紀(jì)50年代前后，示性類研究還處在起步階段。吳文俊將示性類概念由繁化簡，由難變易，引入新的方法和手段，形成了系統(tǒng)的理論。他引入了一類示性類，被稱為吳示性類。他還給出了刻畫各種示性類之間關(guān)系的吳公式。在他的工作之前，示性類的計算有極大的困難。吳的工作給出了示性類之間的關(guān)系與計算方法。由此拓?fù)鋵W(xué)和數(shù)學(xué)的其他分支結(jié)合得更加緊密，許多新的研究領(lǐng)域應(yīng)運而生。這最終使示性類理論成為拓?fù)鋵W(xué)中最完美的一章。
拓?fù)鋵W(xué)中最基本問題之一是嵌入問題。在吳的工作之前，嵌入理論只有零散的結(jié)果。吳提出了吳示嵌類等一系列拓?fù)洳蛔兞浚芯苛饲度肜碚摰暮诵膯栴}，并由此發(fā)展了統(tǒng)一的嵌入理論。
在拓?fù)鋵W(xué)研究中，吳起到了承前啟后的作用。在他的工作的影響下，研究拓?fù)鋵W(xué)的武器庫得以形成，這極大地推進了拓?fù)鋵W(xué)的發(fā)展。許多著名數(shù)學(xué)家從吳的工作中受到啟發(fā)或直接以吳的成果為起始點之一，獲得了一系列重大成果。例如，吳的工作被五位國際數(shù)學(xué)最高獎-菲爾茲獎-得主引用，他們分別是法國數(shù)學(xué)家托姆、美國數(shù)學(xué)家米爾諾、斯梅爾、維騰，英國數(shù)學(xué)家阿提亞，其中三位還在他們的獲獎工作中使用了吳的結(jié)果。數(shù)學(xué)大師陳省身先生稱贊吳“對纖維叢示性類的研究做出了劃時代的貢獻。”由于以上兩項工作，1956年吳文俊獲首屆“國家自然科學(xué)一等獎。”
吳文俊的工作是50年代前后拓?fù)鋵W(xué)的重大突破之一，產(chǎn)生了重大影響，成為影響深遠的經(jīng)典性成果, 被寫進多種教科書，至今還在前沿研究中使用。
開創(chuàng)數(shù)學(xué)機械化領(lǐng)域
上世紀(jì)七十年代末，吳文俊用算法的觀點對中國古算作了正本清源的分析，認(rèn)為中國古算是算法化的數(shù)學(xué)。由此，開辟了中國數(shù)學(xué)史研究的新思路與新方法，在數(shù)學(xué)史領(lǐng)域產(chǎn)生了重大影響。1986年吳文俊被邀請到國際數(shù)學(xué)家大會作分組報告，介紹他在中國古代數(shù)學(xué)史研究中的成果。不僅如此，他又在中國古算研究的啟發(fā)下，開拓了機械化數(shù)學(xué)的嶄新領(lǐng)域。
1977年他在初等幾何定理的機械化證明方面首先取得成功，提出了幾何定理機器證明的吳方法。此后，相繼提出微分幾何的定理機械化證明方法，方程組符號求解的吳消元法，全局優(yōu)化的有限核定理，建立了數(shù)學(xué)機械化體系。他不僅建立數(shù)學(xué)機械化的基礎(chǔ)，而且將這一理論應(yīng)用于多個高技術(shù)領(lǐng)域，解決了曲面拼接、機構(gòu)設(shè)計、計算機視覺、機器人等高技術(shù)領(lǐng)域核心問題。這樣走出了完全是中國人自己開拓的新的數(shù)學(xué)道路，產(chǎn)生了巨大的國際影響。
1997年吳文俊獲得國際自動推理最高獎“Herbrand自動推理杰出成就獎”。授獎詞中提到，幾何定理自動證明在“吳方法”出現(xiàn)之前進展甚微,“在不多的自動推理領(lǐng)域中，這種被動局面是由一個人完全扭轉(zhuǎn)的。吳文俊很明顯是這樣一個人。”吳的工作使得“幾何定理證明的研究已全面復(fù)興，變?yōu)樽詣油评斫缱罨钴S與成功的領(lǐng)域之一。”
幾十年來，吳文俊一貫重視人才的培養(yǎng)。50至60年代，他在數(shù)學(xué)所培養(yǎng)的學(xué)生和長期在他影響或幫助下工作的同志，有些已經(jīng)成為有名的數(shù)學(xué)家。從1960年起，吳文俊擔(dān)任中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系60級學(xué)生的主講教師，在中國科學(xué)技術(shù)大學(xué)培養(yǎng)了80多名學(xué)生，有的已成為所在領(lǐng)域的領(lǐng)軍人物，并涌現(xiàn)出多名國際著名學(xué)者。
1990年，以吳文俊為首的“中國科學(xué)院數(shù)學(xué)機械化中心”正式成立。2003年,數(shù)學(xué)機械化中心與信息安全中心聯(lián)合成立了中國科學(xué)院數(shù)學(xué)機械化重點實驗室。該實驗室目前已經(jīng)成為國際計算機數(shù)學(xué)領(lǐng)域最著名的領(lǐng)軍團隊之一。
吳文俊的各項獨創(chuàng)性研究工作使他在國際、國內(nèi)產(chǎn)生廣泛的影響，享有很高的聲譽。2010年，經(jīng)國際天文學(xué)聯(lián)合會小天體命名委員會批準(zhǔn)，將國際編號第7683號小行星永久命名為“吳文俊星”。 2011年，中國人工智能學(xué)會發(fā)起設(shè)立“吳文俊人工智能科學(xué)技術(shù)獎”；這是我國智能科學(xué)技術(shù)領(lǐng)域唯一依托社會力量設(shè)立的科學(xué)技術(shù)獎，具備直接推薦國家科學(xué)技術(shù)獎資格，被譽為“中國智能科技最高獎”。2011年，中國科學(xué)技術(shù)大學(xué)以中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)所為基礎(chǔ)組建了中國科學(xué)院吳文俊數(shù)學(xué)重點實驗室。
吳文俊治學(xué)嚴(yán)謹(jǐn)，學(xué)術(shù)思想活躍，但從來不注意個人名利，無論獲得多么高的聲譽，他總是勤奮地在科研第一線工作，一生積極進取、鍥而不舍，不斷取得新的成就。他讀龐特里亞金的俄文原文完全是靠字典一個字一個字查出來的，其刻苦精神由此可見一斑。在開始從事機器證明時，他已近花甲之年，為了驗證自己所提方法的有效性，他從零開始學(xué)習(xí)編寫計算機程序，用Fortran語言實現(xiàn)了符號計算和幾何定理證明的算法。編程的工作量是巨大的，他每天十多個小時在機房連續(xù)工作，終于取得成功。他平易近人，樂于助人，樂于宣傳其他人的成績，學(xué)術(shù)作風(fēng)民主。
吳文俊具有強烈的愛國心，于1951年放棄在法國的優(yōu)越條件，回到祖國參加社會主義建設(shè)。他對祖國的經(jīng)濟建設(shè)十分關(guān)心，對于國內(nèi)重大建設(shè)及項目如數(shù)家珍。1970年代以后，他對中國文化有了更深刻的認(rèn)識，通過自己的科研工作真正切實地為復(fù)興中國文化做出了重要貢獻。
在1994年香港求是科技基金會的“杰出科學(xué)家”獎的頒獎典禮上，陳省身先生介紹吳文俊的學(xué)術(shù)成就，盛贊他保持了歷史上的許多大數(shù)學(xué)家對純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)都有貢獻的傳統(tǒng)，他的工作一般來說都是“獨出蹊徑，不襲前人，富創(chuàng)造性”，他的機器證明理論“保持了中國數(shù)學(xué)的傳統(tǒng)”，盛贊“這是一個十分杰出的數(shù)學(xué)家！”
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
