章梓良+邵紅能

在2002年獲得首屆國家最高科技獎之前，除了數(shù)學(xué)界，知道他的人還非常少，他不但不和媒體打交道，甚至連身邊的人他也不會湊得很近。90歲后的他依舊時常光腳穿皮鞋在家走動，說這是懶人最好的鍛煉方法。他滿頭銀發(fā)，胖胖的臉上架一副眼鏡，高興時脖子一縮，便笑起來。這位“老頑童”就是中外公認(rèn)的數(shù)學(xué)大師吳文俊。

2017年5月7日7時21分，這位享譽國際的數(shù)學(xué)界巨擘、中國科學(xué)院院士、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員駕鶴西行，享年98歲。

吳文俊的主要成就在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個領(lǐng)域。他在拓?fù)鋵W(xué)的“示性類”“示嵌類”的研究方面取得一系列重要成果，完成了拓?fù)鋵W(xué)中的奠基性工作，至今仍被國際同行廣泛引用。他繼承和發(fā)展了中國古代數(shù)學(xué)的傳統(tǒng)（即算法化思想），將其運用于幾何定理的機(jī)器證明，從而徹底改變了這個領(lǐng)域的面貌。他的“吳方法”在國際機(jī)器證明領(lǐng)域產(chǎn)生了巨大的影響，有廣泛的應(yīng)用價值。當(dāng)前國際流行的主要符號計算軟件中，基本上都實現(xiàn)了吳文俊的算法。

從平凡少年到拓?fù)鋵W(xué)大師

吳文俊1919年5月12日出生于上海，祖籍浙江嘉興。因戰(zhàn)亂原因，全家從嘉興遷至地勢高、遠(yuǎn)離戰(zhàn)亂的上海青浦縣朱家角定居。吳文俊自幼受父親的民主思想熏陶，4歲時被送到弄堂里的文蔚小學(xué)讀書，課程簡單，因此有許多空余時間。但是吳文俊在小學(xué)時成績平平，也沒有顯示出獨特的數(shù)學(xué)才華，初中時數(shù)學(xué)甚至得過零分。不過，他從小就對讀書有濃厚興趣，初中時國文成績一直不錯。

14歲時，吳文俊在上海正始中學(xué)讀高中。一次物理考試，題目特別難，但吳文俊的成績極為出色，引起物理老師趙貽經(jīng)和校方的重視。但是趙貽經(jīng)認(rèn)為，吳文俊物理好主要是因為數(shù)學(xué)特別強(qiáng)，后來力薦他在進(jìn)入大學(xué)時選擇數(shù)學(xué)系。以優(yōu)異成績結(jié)束3年的中學(xué)生活后，吳文俊獲得了學(xué)校特設(shè)的獎學(xué)金——每年100塊銀元的資助。在當(dāng)年這筆錢相當(dāng)可觀，幾乎是一家人一年的花銷，如果沒有這筆獎學(xué)金，家里支撐他讀大學(xué)將會很艱難。但這筆獎學(xué)金有個條件，要報考校方指定的學(xué)校和專業(yè)。“因為這筆獎學(xué)金，我歪打正著走上數(shù)學(xué)這條路，可以說一半主動，一半被動。”吳文俊如是說。但無論如何，這第一筆獎學(xué)金推動了吳文俊其后幾十年獲得各種榮譽的數(shù)學(xué)生涯。

吳文俊的青少年時代是在抗戰(zhàn)的炮火中度過的。1940年，他從上海交通大學(xué)數(shù)學(xué)系畢業(yè)，到處奔波才在郊區(qū)的中學(xué)找到了一個位置。此后整整5年，他都沒有接觸數(shù)學(xué)研究?？箲?zhàn)勝利后，吳文俊由親友推薦結(jié)識了數(shù)學(xué)大師陳省身。此時，拓?fù)鋵W(xué)正在興起，被稱為“現(xiàn)代數(shù)學(xué)的王后”，陳省身把他引上了拓?fù)鋵W(xué)的正途。在陳省身身邊一年多的時間里，吳文俊展露了穎異的才華，極受陳省身賞識。

1947年春天，陳省身到北京清華大學(xué)數(shù)學(xué)所教課，數(shù)學(xué)家曹錫華和吳文俊同行。在清華，他們兩人同住一間宿舍。吳文俊每天攻關(guān)到深夜，證明出自己想要的結(jié)果才上床睡覺，早晨一覺醒來，對曹錫華說：“證出來了。”到了晚飯時發(fā)現(xiàn)證明有錯。于是繼續(xù)攻關(guān)，早晨起床，又對曹錫華說：“證好了?！钡搅讼挛缬职l(fā)現(xiàn)證明有漏洞。如此反復(fù)多次，最終獲得成功。取得階段性成果時距他進(jìn)數(shù)學(xué)所還不到一年，這充分顯示了吳文俊的實力。

在拓?fù)鋵W(xué)研究中，他引進(jìn)的“示性類”和“示嵌類”被稱為“吳示性類”和“吳示嵌類”，他導(dǎo)出的“示性類”之間的關(guān)系式被稱為“吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。在現(xiàn)代示性類理論中，吳文俊的這項成果已經(jīng)被看成公理，是整個理論的基石。

在陳省身教授的推薦下，吳文俊去法國研讀深造。后來，他在接受中央電視臺《大家》欄目采訪時，回憶道：“陳省身先生沒有讓我去當(dāng)時歐洲的數(shù)學(xué)中心巴黎，而是把我安排在法國的一個邊陲小城里。陳先生說，‘你是去學(xué)習(xí)，做研究，應(yīng)該離那些繁華喧囂的城市遠(yuǎn)些?！?/p>

在法國寂靜的邊城，吳文俊一如當(dāng)?shù)氐膶W(xué)者，在咖啡館的一角獨自日復(fù)一日地進(jìn)行縝密的思考和運算，埋頭沉入到拓?fù)鋵W(xué)中。在這一時期，他證明了4K維球無近復(fù)結(jié)構(gòu)，在拓?fù)鋵W(xué)界引起不小的震動。當(dāng)年的拓?fù)鋵W(xué)界大師霍普夫質(zhì)疑這個結(jié)果，“他帶了助手來‘興師問罪了，在校園中坐下我們就開始討論，最后他還是服氣了”。時隔多年后，吳文俊依然能清晰地回憶起當(dāng)年這段“官司”，并且為此而發(fā)笑?！澳阋J(rèn)真去做，不要去考慮是否得獎這類的問題。如果只想著我要做一個得獎的工作，那么你恐怕什么工作也做不出來?！眳俏目∪绱私庾x自己在數(shù)學(xué)領(lǐng)域的巨大成就。

從數(shù)學(xué)史中領(lǐng)悟算法精髓

在文革期間，吳文俊被下放到北京海淀區(qū)學(xué)院路附近的北京無線電一廠勞動。他的到來引起廠里工人的好奇心，大家紛紛跑去看一位教授是怎么工作的。在車間里，吳文俊戴著眼鏡，認(rèn)真地焊接線路，臉湊得很近，圍觀的工人看著都笑了，有人就說：“教授干活要把自己的鼻子焊上去?！?/p>

但吳文俊是個樂觀的人，即便是談到文革時期的遭遇，他也認(rèn)為自己受益頗多。首先，不得不勞動，改變了他的一些思想觀念。吳文俊說：“我的習(xí)慣是不動手的，家務(wù)事我到現(xiàn)在也不做。但在文革期間思想受到?jīng)_擊，認(rèn)識到人不能不動手。那時候買了一套工具，我也這兒鉆鉆，那兒捅捅地瞎碰，總是出問題。那段時間，我的最大收獲就是深刻認(rèn)識到——人還是要動手。數(shù)學(xué)機(jī)械化研究就是得益于那一時期的動手工作?！?/p>

20世紀(jì)70年代，吳文俊把注意力轉(zhuǎn)向了計算問題，特別是尋找?guī)缀沃凶詣訖C(jī)器證明的有效方法。由于當(dāng)時的環(huán)境，還不能讀專業(yè)書刊，但能讀史書，吳文俊便轉(zhuǎn)向中國數(shù)學(xué)史研究，并從中得到啟發(fā)，為未來開創(chuàng)具有中國傳統(tǒng)數(shù)學(xué)特點的數(shù)學(xué)機(jī)械化之路，奠定了思想基礎(chǔ)。當(dāng)時北京無線電一廠正在生產(chǎn)電子計算機(jī)，計算機(jī)的性能引起吳文俊濃厚的興趣。于是，在近耳順之年，吳文俊開始學(xué)習(xí)計算機(jī)，并且在若干年內(nèi)，他的上機(jī)時間都遙居全所之冠。經(jīng)常早上不到8點，他已在機(jī)房外等候開門，甚至24小時連軸轉(zhuǎn)的情況也時有發(fā)生。當(dāng)時，吳文俊這樣描述電子計算機(jī)對數(shù)學(xué)的發(fā)展將產(chǎn)生的影響：“對于數(shù)學(xué)未來發(fā)展具有決定性影響的一個不可估量的方面是，計算機(jī)對數(shù)學(xué)帶來的沖擊。”

在嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，他提出的用計算機(jī)證明幾何定理的“吳方法”被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作?！皡欠椒ā崩^承和發(fā)揚了中國古代數(shù)學(xué)基于“計算”的傳統(tǒng)，與通?；谶壿嫷姆椒ǜ静煌状卧囅肓烁咝У膸缀味ɡ碜詣幼C明。國際機(jī)器證明研究領(lǐng)域的權(quán)威人物S.穆爾說：“在吳文俊之前，機(jī)械化的幾何定理證明處于黑暗時期，而吳的工作給整個領(lǐng)域帶來光明?！?img alt="" src="https://cimg.fx361.com/images/2017/07/01/bkzs201712bkzs20171205-3-l.jpg" style="">

因為這項工作，他獲得了2006年的“邵逸夫數(shù)學(xué)獎”，評獎委員會寫道：“通過引入深邃的數(shù)學(xué)思想，吳文俊開辟了一種全新的方法，該方法被證明在解決一大類問題上都是極為有效的。吳的方法使該領(lǐng)域發(fā)生了一次徹底的革命性變化，并導(dǎo)致了該領(lǐng)域研究方法的變革?！?/p>

中國古代數(shù)學(xué)道路將成為數(shù)學(xué)的未來

吳文俊十分推崇我國宋代科學(xué)家沈括，“沈括是很了不起的，他在物理、地質(zhì)、數(shù)學(xué)、天文、冶煉、醫(yī)藥等領(lǐng)域都有杰出貢獻(xiàn)。我常對別人說，沈括的了不起之處，就在于他重視實踐和科學(xué)實驗，在中國古代科學(xué)史上無出其右。如果他的實踐精神能早些為人所認(rèn)識并繼承的話，中國早就成為科技大國了”。

吳文俊是一位傳奇人物。國際數(shù)學(xué)界不乏早年成名的杰出天才，但很少有人會兩度登上學(xué)術(shù)巔峰，更少有人能在晚年開創(chuàng)一個新領(lǐng)域，并再度占據(jù)世界領(lǐng)先地位?！疤熨Y聰慧，有數(shù)學(xué)天賦。是一位杰出的數(shù)學(xué)家，他的工作表現(xiàn)出豐富的想象力及獨創(chuàng)性。他從事數(shù)學(xué)教研工作，數(shù)十年如一日，貢獻(xiàn)卓著?！边@是國際數(shù)學(xué)大師陳省身對吳文俊的評價。吳文俊為人低調(diào)，并不喜歡評價自己，但是對數(shù)學(xué)未來的發(fā)展，這位數(shù)學(xué)大師卻留下了獨到的見解：“將來的數(shù)學(xué)，應(yīng)該是走中國古代數(shù)學(xué)道路，而不是國際道路，這是一條總的趨勢。”

2010年5月4日，國際小行星中心發(fā)布公報通知國際社會，將國際永久編號第7683號小行星永久命名為“吳文俊星”。這位大師雖然已經(jīng)逝去，但他留下的科學(xué)貢獻(xiàn)卻會永久閃耀在人類文明的星空之上。

【責(zé)任編輯】張小萌