張慧

還有兩年，吳文俊便要迎來他的百歲壽辰。這位在中國(guó)拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械證明領(lǐng)域貢獻(xiàn)一時(shí)無兩、地位堪稱泰斗的老人家，被尊稱為“中國(guó)數(shù)學(xué)的旗幟”。著名數(shù)學(xué)家陳省身評(píng)價(jià)吳文俊“是十分杰出的數(shù)學(xué)家”“利用代數(shù)幾何，把方程求解的問題做了系統(tǒng)研究，引進(jìn)了許多獨(dú)特且創(chuàng)新的觀念?！彼群髽s獲過陳嘉庚數(shù)理科學(xué)獎(jiǎng)，首屆求是科技基金會(huì)杰出科學(xué)家獎(jiǎng)，首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)，邵逸夫國(guó)際數(shù)學(xué)大獎(jiǎng)。這些金光閃閃的獎(jiǎng)項(xiàng)背后，是他在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化證明領(lǐng)域孜孜不倦的探索。

傾慕物理，卻成了數(shù)學(xué)家

1919年，吳文俊出生在上海。

吳文俊的父親吳福同曾經(jīng)就讀于南洋公學(xué)，畢業(yè)后在上海的醫(yī)藥公司工作，薪酬可觀。除了養(yǎng)家，他最大的支出就是購(gòu)書、藏書。父親的書房對(duì)于幼年的吳文俊來說，幾乎是童年全部的色彩。

因?yàn)榈艿芪慕苡啄陼r(shí)不幸夭折，吳文俊的父母對(duì)他這個(gè)獨(dú)子格外愛護(hù)，連他到弄堂里玩耍都不放心。不能出去瘋跑的吳文俊只好在父親的書房里消磨時(shí)光，雖然培養(yǎng)了對(duì)書籍的愛，卻沒什么機(jī)會(huì)釋放兒童好動(dòng)的天性。

4歲就進(jìn)入小學(xué)的吳文俊因?yàn)槟昙o(jì)小，讀了兩次六年級(jí)，才夠著升入中學(xué)的年紀(jì)。當(dāng)時(shí)，數(shù)學(xué)并不是他最青睞的學(xué)科，反倒是文學(xué)水平和作文能力經(jīng)常受到老師的夸獎(jiǎng)。初中時(shí)，吳文俊和家人到鄉(xiāng)下避日軍轟炸之亂，耽誤了幾個(gè)月的課程，回到學(xué)校后參加期末考試，吳文俊的數(shù)學(xué)竟破天荒地考了個(gè)零分。

吳老對(duì)于人生中這唯一一個(gè)零分還是很介意的，多年以后提起，他還認(rèn)真地解釋：“這是突發(fā)事件，不是我數(shù)學(xué)不行，我數(shù)學(xué)還是比較行的。

進(jìn)入高中之后，吳文俊的數(shù)學(xué)成績(jī)更“行”了。他的數(shù)學(xué)老師特意給他“吃小灶”，留給他許多難度超過高中水平的幾何題，吳文俊樂在其中。在父親的指導(dǎo)下，吳文俊在高中已經(jīng)可以用英文寫作和閱讀外文原著，中學(xué)時(shí)開始學(xué)習(xí)的德語也達(dá)到了熟練閱讀的程度。杰出的外語能力讓吳文俊后來的學(xué)術(shù)研究如虎添翼。

吳文俊后來成為數(shù)學(xué)大師其實(shí)是“命運(yùn)造成的美妙的錯(cuò)誤”，用他自己的話說，“我學(xué)數(shù)學(xué)是被動(dòng)的?！?/p>

中學(xué)時(shí)期，他最喜歡、最有心得的學(xué)科是物理。但是物理老師認(rèn)為吳文俊在題目困難的時(shí)候還能拿到高分，主要是因?yàn)閿?shù)學(xué)好，還專門游說學(xué)校給吳文俊定向的獎(jiǎng)學(xué)金，讓他去考上海交大數(shù)學(xué)系。吳文俊苦于學(xué)費(fèi)高，“要是沒有這個(gè)獎(jiǎng)學(xué)金，家里面條件不夠”，只好投身數(shù)學(xué)系。吳文俊多年后回憶，“我個(gè)人比較喜歡物理，我到現(xiàn)在還是這個(gè)樣子。假如我是搞物理的，我相信我在物理上面一定也可以搞出東西。”“我有一種孜孜不倦的鉆研精神，要把這個(gè)客觀的事情搞清楚。但是能搞出什么名堂來已經(jīng)不知道了。

大學(xué)期間，吳文俊對(duì)數(shù)學(xué)逐漸“開竅”，打下了拓?fù)鋵W(xué)的基礎(chǔ)。當(dāng)時(shí)正是點(diǎn)集拓?fù)浒l(fā)展的黃金時(shí)期，吳文俊認(rèn)真研究了幾種經(jīng)典的數(shù)學(xué)著作，還通過波蘭著名數(shù)學(xué)專業(yè)期刊《數(shù)學(xué)基礎(chǔ)》上的論文拓展眼界，那些論文代表了數(shù)學(xué)各分支領(lǐng)域當(dāng)時(shí)的最高水平。

不過，大學(xué)期間的吳文俊在“照顧自己”這門學(xué)問上并不合格。雖然校方規(guī)定新生必須住校，但愛子心切的吳爸爸吳媽媽還是特意在交大對(duì)面買下一棟房子，舉家從青浦朱家角搬來，以便照顧吳文俊的生活起居。成年后的吳文俊在生活上的馬虎也沒有“好轉(zhuǎn)”。他的夫人透露，即使過了耳順之年，著作等身的吳文俊還時(shí)常穿著一只襪子就出門了。

“撰文還債”

每個(gè)人的職業(yè)選擇都是連串偶然和必然碰撞的結(jié)果。誤打誤撞進(jìn)入數(shù)學(xué)系的吳文俊大學(xué)畢業(yè)后仍然走在數(shù)學(xué)之路上，得益于良師益友的幫扶。這位益友正是他的同班同學(xué)趙孟養(yǎng)。

吳文俊和趙孟養(yǎng)是那一屆上海交大數(shù)學(xué)系僅有的兩名學(xué)生，倆人關(guān)系很好。吳文俊有時(shí)候整天泡在趙孟養(yǎng)家里，還跟隨趙父學(xué)會(huì)了圍棋。到大學(xué)畢業(yè)的時(shí)候，吳文俊去了中學(xué)當(dāng)數(shù)學(xué)教師，趙孟養(yǎng)則留在上海交大數(shù)學(xué)系當(dāng)了助教。吳文俊回憶，當(dāng)中學(xué)老師期間他曾經(jīng)很沮喪，研究數(shù)學(xué)的愿望完全淡掉了，變得不可行了?！背藳]有看書的時(shí)間和空間，“主要是思想上面的不安定，覺得對(duì)繼續(xù)走數(shù)學(xué)這條路的意念變得淡泊了，要搞數(shù)學(xué)根本不可能”。

為了幫助吳文俊繼續(xù)從事數(shù)學(xué)研究，趙孟養(yǎng)借口“想要做其他事情”，把自己的助教職位讓給了吳文俊，實(shí)際上他卻賦閑在家。趙孟養(yǎng)還安排吳文俊結(jié)識(shí)了數(shù)學(xué)大師陳省身。這些因緣讓吳文俊至今感激趙孟養(yǎng)，每次去上海必與趙孟養(yǎng)約見。

有人問過趙孟養(yǎng)為何一再把機(jī)會(huì)讓給吳文俊，趙孟養(yǎng)說，“他是個(gè)天才。他要什么，我就給什么?！?/p>

與陳省身的會(huì)面是吳文俊數(shù)學(xué)研究征途中的重要里程碑。當(dāng)時(shí)，已經(jīng)在國(guó)際上成名的陳省身正在籌建中央研究院數(shù)學(xué)研究所，打算從全國(guó)著名高校的數(shù)學(xué)系抽調(diào)青年人才，充實(shí)數(shù)學(xué)所的力量。吳文俊與陳省身首次見面就坦言想到數(shù)學(xué)所工作，陳省身答應(yīng)“放在心上”，卻出人意料地將吳文俊調(diào)到了數(shù)學(xué)所的圖書館管理圖書。

吳文俊每天倘佯在書架之間，如饑似渴地飽覽數(shù)學(xué)書籍，樂在某中。一日，陳省身找到他說，“你整天看書、看論文?？吹脡蚨嗔?，應(yīng)該還債了?！标惱辖忉尩?，看了前人的書等于欠了前人的債，而“還債”的方式就是寫論文和著書，為推動(dòng)數(shù)學(xué)發(fā)展做出自己的貢獻(xiàn)。吳文俊這才明白陳省身的良苦用心，開始認(rèn)真地投入到選題和研究中去了。經(jīng)陳省身推薦，他完成的第一篇論文就在《法國(guó)科學(xué)周報(bào)》上得以發(fā)表。

陳省身是吳文俊投身拓?fù)鋵W(xué)研究的啟蒙者和引路人。吳文俊完成的第一篇拓?fù)鋵W(xué)研究論文被陳省身批評(píng)“方向不對(duì)頭”，吳文俊冷靜地調(diào)整題目，很快將美國(guó)數(shù)學(xué)家惠特尼的拓?fù)鋵W(xué)乘積公式作為自己的研究方向，并取得了突破性的成就。

“幾何圖形在連續(xù)變形下的不變形”是拓?fù)涞墓俜蕉x。而惠特尼乘積公式則是拓?fù)涫拘灶惖幕A(chǔ)理論。吳文俊自稱對(duì)惠特尼乘積公式進(jìn)行驗(yàn)證是“我在科學(xué)研究上第一個(gè)比較有意義的工作”。這個(gè)工作持續(xù)了1947年一整年，經(jīng)過了無數(shù)次反復(fù)和修正。如此迅速地對(duì)這個(gè)復(fù)雜的理論獲得深入的研究成果令人稱贊，吳文俊的論文被數(shù)學(xué)領(lǐng)域最權(quán)威的學(xué)術(shù)雜志《數(shù)學(xué)年刊》采用，被后人視為學(xué)術(shù)經(jīng)典。彼時(shí)的吳文俊還不到30歲，就已經(jīng)引起了很多大師的注意，成為“可畏的后生”。

蜚聲海外，年少成名

在陳省身身邊工作1年后，吳文俊在陳老的建議下來到法國(guó)斯特拉斯堡大學(xué)，原計(jì)劃師從聞名世界的法國(guó)數(shù)學(xué)家亨利·嘉當(dāng)。當(dāng)他到達(dá)斯特拉斯堡，嘉當(dāng)卻轉(zhuǎn)到巴黎教書了，吳文俊轉(zhuǎn)投另一位教授埃瑞斯曼門下，卻因禍得?！Ｈ鹚孤难芯糠较蚝完愂∩韺?duì)吳文俊的指導(dǎo)殊途同歸，讓吳文俊少走了不少?gòu)澛?。?jīng)過兩年多的刻苦鉆研，1950年春天，吳文俊引進(jìn)了新的示性類，也就是后來以他的姓氏命名的“吳示性類”，并證明了“吳公式”：W=SqV，在拓?fù)鋵W(xué)界引起了轟動(dòng)。此前他已經(jīng)憑借在拓?fù)鋵W(xué)的研究成果完成論文和答辯，獲得了法國(guó)國(guó)家博士學(xué)位。

在法國(guó)求學(xué)和從事研究期間，吳文俊的生活并不寬裕，他的住處因?yàn)楸曝撇灰婈柟?，被法?guó)的師友戲稱為“地獄”。他的大部分研究都是在家附近的咖啡館里完成的，那里才是他的“臨時(shí)書房”。

在完成既定研究后，吳文俊向?qū)煱Ｈ鹚孤鼌R報(bào)成果時(shí)，無意中提到了他得到的“另外一個(gè)小結(jié)果”。這個(gè)并沒有被吳文俊重視的關(guān)于近復(fù)結(jié)構(gòu)的結(jié)論卻獲得了導(dǎo)師的稱贊，埃瑞斯曼讓他快點(diǎn)寫出來發(fā)表。文章發(fā)表后，吳文俊迅速獲得了業(yè)內(nèi)大家的稱贊，因?yàn)樗鉀Q的正是當(dāng)時(shí)拓?fù)鋵W(xué)研究的熱點(diǎn)，證明4k維球無近復(fù)結(jié)構(gòu)。而更令國(guó)際學(xué)界驚訝的是，解決這個(gè)問題的是個(gè)來自中國(guó)的年輕人。

拿到博士學(xué)位后，法國(guó)的師友極力挽留吳文俊在海外工作，普林斯頓大學(xué)也萬里迢迢給他寄去了聘書。但是吳文俊毅然回國(guó)了。他說，“出國(guó)留學(xué)，學(xué)業(yè)有成之后回國(guó)是天經(jīng)地義的，當(dāng)時(shí)大家都這樣做，這是非常自然的，又有什么特別的考慮呢？其實(shí)，這個(gè)問題倒要問問那些滯留國(guó)外的人，是什么原因沒有回國(guó)?！?/p>

1951年，吳文俊回到祖國(guó)，他先后在北京大學(xué)和中科院數(shù)學(xué)所工作，短短幾年內(nèi)，吳文俊寫出了20多篇論文和一部專著。其時(shí)恰逢拓?fù)鋵W(xué)高速發(fā)展的時(shí)期，在他最初取得成果的幾年里，國(guó)際拓?fù)鋵W(xué)發(fā)展也在不斷攀登高峰，吳文俊成了國(guó)際知名的拓?fù)鋵W(xué)專家。1956年，吳文俊成為首屆國(guó)家自然科學(xué)獎(jiǎng)一等獎(jiǎng)得主，與他同期獲獎(jiǎng)的是當(dāng)時(shí)家喻戶曉的華羅庚和錢學(xué)森。次年，吳文俊當(dāng)選為中國(guó)科學(xué)院學(xué)部委員，也是當(dāng)年最年輕的學(xué)部委員。

攜數(shù)學(xué)茍全于亂世

“大躍進(jìn)”開始后，中科院數(shù)學(xué)所響應(yīng)號(hào)召，主張“以理論聯(lián)系實(shí)際”，將從事純理論研究的人員改組為數(shù)理學(xué)部、微分方程、邏輯與計(jì)算以及應(yīng)用運(yùn)籌學(xué)等幾個(gè)小組。吳文俊被分到了應(yīng)用運(yùn)籌學(xué)小組，他平靜地接受了這個(gè)安排，投入了陌生的運(yùn)籌學(xué)的研究中，并且很快也取得了突破性的成果。然而，隨著“文革”的全面展開，他進(jìn)行數(shù)學(xué)研究的時(shí)間和機(jī)會(huì)越來越少，吳文俊就隨遇而安地在“關(guān)禁閉”的單位房間里學(xué)習(xí)馬列著作和毛澤東思想，并將他認(rèn)為有意思的語句抄到小卡片上。這些卡片至今仍然放在他家里的書架上，在他看來“所有這些對(duì)數(shù)學(xué)思維并沒有害處”，反而會(huì)對(duì)一個(gè)人的思維方式有所啟發(fā)。

“文革”期間，數(shù)學(xué)所定下的研究方向可以概括為4條：不跟外國(guó)人走，獨(dú)立自主，根植國(guó)內(nèi)，研究數(shù)學(xué)史。這四點(diǎn)是相互聯(lián)系的，其中研究中國(guó)的數(shù)學(xué)史是基礎(chǔ)。吳文俊借機(jī)讀了不少與中國(guó)古代數(shù)學(xué)相關(guān)的典籍，他在1975年發(fā)表的《中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)》一文中稱，代數(shù)學(xué)是無可爭(zhēng)辯的中國(guó)創(chuàng)造。而西方數(shù)學(xué)史的撰寫者因?yàn)椴涣私馇闆r，“制造了不少巴比倫神話與印度神話，極力貶低中國(guó)數(shù)學(xué)的輝煌成就，甚至視而不見、一筆抹殺?！倍袊?guó)古代的幾何學(xué)也已經(jīng)有了卓越的成就和完善的體系。他認(rèn)為從西漢到宋元，中國(guó)數(shù)學(xué)一直居于世界領(lǐng)先水平，16世紀(jì)后，中國(guó)的數(shù)學(xué)發(fā)展才一度中斷。但是吳文俊有信心，中國(guó)的數(shù)學(xué)在未來仍然能夠崛起，為此“我們要珍惜中國(guó)傳統(tǒng)數(shù)學(xué)的機(jī)械化思想?！?/p>

“文革”期間，吳文俊家的5間房屋被占用，只剩下兩間。他不得不精簡(jiǎn)藏書，將書當(dāng)做廢品賣。廢品收購(gòu)站嫌棄精裝的大部頭太重，壓秤，不愛收。吳文俊只好坐在家里痛心地將精裝的封面撕掉，然后把書瓢當(dāng)成廢紙，八分錢一斤賤賣掉。好在他保留了很多影印本的德文版數(shù)學(xué)書，這些書很多圖書館都沒有，在“文革”后的數(shù)學(xué)研究中派上了大用場(chǎng)。

老驥伏櫪，志在千里

在中關(guān)村中科院黃莊小區(qū)吳文俊的家里，有一條專用電纜和一臺(tái)專用計(jì)算機(jī)。這份“特權(quán)”是吳文俊“數(shù)學(xué)機(jī)械化研究專家”的頭銜賺來的。

當(dāng)“文革”對(duì)數(shù)學(xué)研究的桎梏終于解開時(shí)，吳文俊已經(jīng)年逾六旬。他沒有選擇躺在功勞簿上享清福，而是重整旗鼓投入到數(shù)學(xué)機(jī)械化的研究中。這與他在20世紀(jì)70年代初被下放到無線電廠參加勞動(dòng)的經(jīng)歷不無關(guān)系。他在那里首次真正接觸計(jì)算機(jī)，并被計(jì)算機(jī)的效率折服，同時(shí)意識(shí)到了將數(shù)學(xué)與計(jì)算機(jī)結(jié)合起來的必要性。

想要攻克數(shù)學(xué)機(jī)械證明中的關(guān)鍵難題，掌握計(jì)算機(jī)語言是最基本的要求。60歲的吳文俊開始自學(xué)編程，立志要在過去20年幾乎停滯的數(shù)學(xué)機(jī)械證明領(lǐng)域取得突破。

據(jù)中科院數(shù)學(xué)所的老同志回憶，當(dāng)時(shí)吳文俊為了在不夠精細(xì)的計(jì)算機(jī)設(shè)備和尚不發(fā)達(dá)的計(jì)算機(jī)算法基礎(chǔ)上研究數(shù)學(xué)機(jī)械化，“狠下了一番笨功夫?！彼菟阒谐霈F(xiàn)的多項(xiàng)式很多時(shí)候有數(shù)百上千項(xiàng)，僅是抄下來就要用好幾頁紙。吳文俊夜以繼日地演算推導(dǎo)，結(jié)論還必須在計(jì)算機(jī)上得到驗(yàn)證。

吳文俊自學(xué)了Basic語言，當(dāng)他能編寫4000行Basic語言程序時(shí)，日新月異的計(jì)算機(jī)領(lǐng)域已經(jīng)淘汰了Basic語言。他只好又從頭開始學(xué)習(xí)Algol語言。好不容易能夠熟練使用Algol語言編程了，飛速發(fā)展的計(jì)算機(jī)領(lǐng)域又開始普及Fortran語言。吳文俊已經(jīng)編好的程序再次作廢，又一次重頭再來。

當(dāng)時(shí)的數(shù)學(xué)所只有一臺(tái)計(jì)算機(jī)，吳文俊經(jīng)常旱晨7點(diǎn)就到機(jī)房等著管理員開門，整整工作一天，午飯就是從包里拿出的一個(gè)饅頭，一邊工作一邊吃。傍晚回家吃完晚飯，將白天的演算結(jié)果整理出來，又回到研究所繼續(xù)工作到深夜乃至凌晨，幾年如一日。這讓吳文俊成為整個(gè)數(shù)學(xué)所中上機(jī)時(shí)間最長(zhǎng)的人。

就這樣，他終于研究出了用計(jì)算機(jī)證明數(shù)學(xué)原理的“吳方法”。他意識(shí)到隨著計(jì)算機(jī)的發(fā)展，計(jì)算機(jī)對(duì)于數(shù)學(xué)家來說，將是必不可少的工具和伙伴，“將與顯微鏡之于生物學(xué)家，望遠(yuǎn)鏡之于天文學(xué)家那樣不可或缺?！薄半娮佑?jì)算機(jī)可以使人們從某些邏輯推理的腦力勞動(dòng)中解放出來，因而使數(shù)學(xué)家得以把聰明才智，更多地真正用到創(chuàng)造性的工作中去。”

“吳方法”的問世以1977年吳文俊在《中國(guó)科學(xué)》上發(fā)表的《初等幾何判定問題與機(jī)械化問題》為標(biāo)志。1984年，吳文俊出版了《幾何定理機(jī)器證明的基本原理》一書，闡明了幾何定理機(jī)械化證明的基本原理。1985年，他又發(fā)表了《關(guān)于代數(shù)方程組的零點(diǎn)》一文，進(jìn)一步闡述了幾何定理機(jī)器證明的實(shí)現(xiàn)途徑。這一系列研究成果先在國(guó)外引起了轟動(dòng)，然后影響力才逐漸轉(zhuǎn)移到國(guó)內(nèi)，帶動(dòng)了國(guó)內(nèi)的機(jī)械證明研究。這個(gè)事情還要從吳文俊的弟子青年學(xué)者周咸青到美國(guó)深造說起。1981年，周咸青進(jìn)入德克薩斯大學(xué)數(shù)學(xué)系，該系在用機(jī)器證明數(shù)學(xué)定理方面居世界領(lǐng)先水平，周咸青在中科院讀研究生時(shí)，曾經(jīng)旁聽過吳文俊關(guān)于機(jī)器證明的課程，他向德克薩斯大學(xué)的老師博耶提到了吳文俊的授課內(nèi)容，博耶對(duì)此十分感興趣，于是建議周咸青向全班同學(xué)系統(tǒng)介紹吳文俊的機(jī)器證明方法和成果。當(dāng)時(shí)周咸青對(duì)于吳文俊的研究?jī)?nèi)容還沒有深入地消化和吸收，他開始和另一位中國(guó)同學(xué)王鐵城搜集相關(guān)資料。

最快的辦法當(dāng)然是直接向吳文俊本人求助。1982年，他們寫信給吳文俊索要文章，吳文俊很快將1977年《中國(guó)科學(xué)》上的那篇論文和1980年的一篇會(huì)議論文發(fā)給了他們。周咸青用了一個(gè)多星期才初步讀懂了吳文俊的文章，隨后開始在計(jì)算機(jī)上驗(yàn)證“吳方法”，結(jié)果發(fā)現(xiàn)進(jìn)展格外迅速。他的程序不到兩個(gè)星期就證明了第一個(gè)定理，隨后更多的定理相繼證出，包括一些非常復(fù)雜的定理。之前用德克薩斯大學(xué)已有的兩個(gè)證明器來證明這些定理根本無從下手。

周咸青整理了實(shí)驗(yàn)中使用“吳方法”的心得，在博耶的安排下，在UT計(jì)算機(jī)科學(xué)系大會(huì)上做了大會(huì)報(bào)告，報(bào)告很成功。周咸青隨后被安排在美國(guó)數(shù)學(xué)年會(huì)的定理證明專題會(huì)上做40分鐘的報(bào)告。

1983年1月，在丹佛舉行的美國(guó)數(shù)學(xué)年會(huì)上，周咸青的報(bào)告不出所料取得了成功，會(huì)后許多人向他索取資料。周咸青回憶，從這里開始吳文俊的兩篇文章被復(fù)印了近百份，連同吳文俊的名字，也開始從德克薩斯大學(xué)傳向了世界。當(dāng)時(shí)，周咸青已經(jīng)用吳方法證明了130多個(gè)幾何定理，而丹佛會(huì)議之后，更多的人陸續(xù)用吳方法證明出了更多的定理。為此，1984年美國(guó)數(shù)學(xué)機(jī)械化學(xué)術(shù)研討會(huì)的刊物特意刊登了吳文俊1977年發(fā)表的文章，盡管吳文俊并未參會(huì)。自動(dòng)推理權(quán)威卡普爾在刊物的發(fā)刊詞中寫道，“吳的方法使得幾何定理證明得以復(fù)興?！币?yàn)閲?guó)際上需要吳文俊文章的人太多，行業(yè)內(nèi)頂尖刊物《自動(dòng)推理》破例轉(zhuǎn)載了吳文俊在中科院院刊上發(fā)表的關(guān)于機(jī)器證明的長(zhǎng)文。

博耶不僅向國(guó)際社會(huì)極力推薦“吳方法”，還在1984年給中國(guó)有關(guān)部門寫信，建議為吳文俊配備更高速的機(jī)器，以便加速其研究。正是因?yàn)槿绱?，吳文俊的家中才有了專用?jì)算機(jī)和電纜。

有學(xué)者評(píng)價(jià)，在“吳方法”出現(xiàn)之前的20年，幾何定理自動(dòng)證明領(lǐng)域進(jìn)展甚微。而這種局面是由一個(gè)人完全扭轉(zhuǎn)的，這個(gè)人就是吳文俊。

最關(guān)鍵的是，“吳方法”簡(jiǎn)單自然，水到渠成，非常容易講解和使用。它將公認(rèn)的難題用最基本的方法加以解決，正是數(shù)學(xué)界最高的境界。

在國(guó)際上享有盛名的吳文俊雖然應(yīng)邀訪問了美、加、意、法等國(guó)，然而他對(duì)幾何定理機(jī)器證明的貢獻(xiàn)，最初并沒有在國(guó)內(nèi)引起轟動(dòng)。而這個(gè)領(lǐng)域?qū)τ诋?dāng)時(shí)的中國(guó)社會(huì)來說，也是陌生且新鮮的。后來還是中國(guó)駐美國(guó)大使館將吳文俊在美國(guó)引起的轟動(dòng)整理成文字材料傳回國(guó)內(nèi)，國(guó)家相關(guān)部門才專門撥款給中科院，用于支持?jǐn)?shù)學(xué)定理機(jī)器證明的研究，中科院數(shù)學(xué)所借機(jī)成立了數(shù)學(xué)機(jī)械化研究中心，機(jī)器證明在中國(guó)終于從一個(gè)人的單打獨(dú)斗，變?yōu)榱艘恢ш?duì)伍的共同鉆研。

在“文藝?yán)夏辍焙汀袄项B童”間自由切換

吳文俊家中的老式木書架上，除了數(shù)學(xué)典籍，還有歷史、社會(huì)學(xué)著作和通俗小說。他的書多數(shù)捐獻(xiàn)給了中科院數(shù)學(xué)所和清華大學(xué)數(shù)學(xué)系，留在家中的這些是老先生難以割舍的摯愛，其中還有他童年時(shí)逛書攤掏來的書籍。

吳文俊的心得是“做數(shù)學(xué)不是成天趴在桌子上”。他總結(jié)自己在數(shù)學(xué)上能夠有所成就，主要得益于自己在數(shù)學(xué)以外也?？葱半s書”，無論是歷史、文學(xué)、戲劇、哲學(xué)、生物，只要是有趣的書都能夠引起他的注意。他認(rèn)為這些書中表現(xiàn)出的思維對(duì)活躍數(shù)學(xué)的思維是大有幫助的。退休之后，吳文俊仍然時(shí)常到海淀圖書城淘書，在書店里一泡就是一天，餓了就到門口的小店吃一碗牛肉面。

作為一名“文藝?yán)夏辍?，電影是除了書籍之外，吳文俊另一個(gè)心頭大愛。他和同事出差的時(shí)候，只有兩個(gè)小時(shí)的空閑時(shí)間，他也會(huì)拉上同事去看一場(chǎng)電影。

雖然幼年時(shí)是個(gè)“書呆子”，到了老年吳文俊卻成了個(gè)老頑童，對(duì)于很多年輕人熱愛的事情都抱有強(qiáng)烈的好奇心。1997年，他去澳大利亞參加一個(gè)國(guó)際會(huì)議——受頒Herbrand自動(dòng)推理杰出成就獎(jiǎng)。誰知領(lǐng)完獎(jiǎng)之后，吳文俊就不見了蹤影，到了吃晚飯的時(shí)候，代表團(tuán)里的年輕人問他下午去了哪里，他呵呵笑著“坦白”：“我去游樂場(chǎng)了，還過了把玩蛇的癮。”學(xué)生們瞠目結(jié)舌之余，不忘問他玩蛇是什么感覺，他回答：“冰冰涼?！痹谙愀鄣貐^(qū)參加會(huì)議時(shí)，他也曾“逃會(huì)”一個(gè)人悄悄去游樂場(chǎng)玩，還對(duì)“激流勇進(jìn)”這個(gè)游戲項(xiàng)目發(fā)生了興趣。工作人員看他年紀(jì)太大阻攔他，他就裝作聽不懂，跟著人群，徑直走了進(jìn)去。

吳文俊的妻子陳圣和稱他是個(gè)“自由自在，貪玩的人，連腳都不愿意受襪子的束縛”吳文俊則調(diào)皮地反問老伴：“你們女的都不穿襪子，為什么男的非要穿，這不公平?！?/p>

在很多人看來，吳文俊似乎做什么都會(huì)成功：早年在拓?fù)鋵W(xué)取得不菲成就后，晚年又憑借計(jì)算機(jī)機(jī)械證明數(shù)學(xué)定理重回?cái)?shù)學(xué)界的視野。

數(shù)學(xué)與系統(tǒng)科學(xué)研究院副院長(zhǎng)劉卓軍曾師從吳文俊，他對(duì)吳文俊的評(píng)價(jià)是：“作為一個(gè)學(xué)術(shù)大家，他取得如此成就有很多原因，但有兩點(diǎn)非常突出：一是非常勤奮，非常刻苦；二是非常放得開，不在乎別人怎么說，心胸寬廣、豁達(dá)，不受私利困擾?！?/p>

吳文俊則認(rèn)為數(shù)學(xué)“是笨人學(xué)的”，因?yàn)椤皵?shù)學(xué)要用笨的腦筋來考慮，老老實(shí)實(shí)，客觀是什么就是什么，你不要異想天開想什么歪招怪招，我沒這個(gè)本領(lǐng)。我就是老老實(shí)實(shí)，客觀東西我把它弄清楚，把它的關(guān)鍵弄清楚。這個(gè)要下笨功夫，老老實(shí)實(shí)，機(jī)靈不起作用，你再靈也不對(duì)頭?！?/p>