吳文俊 “數(shù)學(xué)機(jī)械化之父”的圓滿句號

余瑋

國際機(jī)器證明研究領(lǐng)域的權(quán)威人物J.S.穆爾這樣評價(jià)：“在吳文俊之前，機(jī)械化的幾何定理證明處于黑暗時(shí)期，而吳的工作給整個(gè)領(lǐng)域帶來光明?！?/p>

吳文俊對于今天的中國老百姓來說，或許一些人很陌生，但是，他對于中國發(fā)展，對于中國數(shù)學(xué)，對于中國科技，對于中國走向復(fù)興，走向世界強(qiáng)大，卻作出了不朽的貢獻(xiàn)。

第一次在電話中聽到不斷傳出的樂呵呵的聲音，眼前就能顯現(xiàn)出一位鶴發(fā)童顏、樂觀開朗的老先生。他早已是銀發(fā)滿頭，但依然身體硬朗、步履矯健，思維敏捷，清晰善談，讓記者心里不禁道一句“吳老不老”。今天，他走了，但是他爽朗的笑聲還回響在我們耳畔……

不言退休的“數(shù)學(xué)機(jī)械化之父”

2001年2月19日，是一個(gè)喜慶的、值得回憶的日子。在燈光璀璨、鮮花爛漫、萬人聚集的人民大會堂里，中國“數(shù)學(xué)機(jī)械化之父”吳文俊從時(shí)任中共中央總書記、國家主席江澤民手中接過“國家最高科學(xué)技術(shù)獎(jiǎng)”證書，并獲得500萬元的高額獎(jiǎng)金。當(dāng)我們再詢問吳文俊當(dāng)時(shí)的心情時(shí)，老人樂了，“當(dāng)然高興”。頓了一下，他接著說：“一方面感到是一種榮譽(yù)，同時(shí)也是一種責(zé)任，責(zé)任重大?！眳俏目≈刂氐恼f了后面四個(gè)字。一份最高榮譽(yù)的證書，一筆高額獎(jiǎng)金，表示了黨、國家和人民在新時(shí)期對科技創(chuàng)新工作和杰出科技人才的重視、感激和尊敬，使受獎(jiǎng)?wù)咭采罡泄奈枧c振奮。

獲獎(jiǎng)，對數(shù)學(xué)大師吳文俊來說已是家常便飯，夫人替他收藏著全部的榮譽(yù)證書。每一個(gè)塵封的證書都熠熠發(fā)光，灼人眼目。早在1956年，37歲的吳文俊獲得的第一個(gè)大獎(jiǎng)便是“國家自然科學(xué)一等獎(jiǎng)”，獎(jiǎng)金為一萬元人民幣。當(dāng)時(shí)的獲獎(jiǎng)?wù)哌€有華羅庚、錢學(xué)森，回憶起過去吳文俊尤為的興奮：“高興，我的工作受到了認(rèn)可，就很高興?！痹讷@獎(jiǎng)后的第二年，他成為了當(dāng)時(shí)最年輕的中國科學(xué)院學(xué)部委員（院士）。

吳文俊1919年5月出生于上海，1940年畢業(yè)于上海交通大學(xué)數(shù)學(xué)系。在他尚未踏入大學(xué)圣殿之前，數(shù)學(xué)成績就一直很好，但對數(shù)學(xué)并無偏愛。吳文俊在接受記者采訪時(shí)說：“我的興趣很雜。在大學(xué)二年級之前，最有興趣的是物理課，我對物理始終有興趣。但是到了二年級就差了，這跟抗戰(zhàn)有關(guān)。我所在的那個(gè)學(xué)校從郊區(qū)搬到租界里面，那許多就雜亂無章了。這有影響，如果不是這樣，那我可能后來對數(shù)學(xué)不會再有興趣，這與客觀原因有關(guān)。”“真正感興趣，準(zhǔn)備當(dāng)數(shù)學(xué)家，那是在大學(xué)三年級的時(shí)候。這跟老師有關(guān)，有一個(gè)老師講的課特別吸引我，那就是我的武老師，改變了我對數(shù)學(xué)的看法，我就上了道。后來陳省身老師將我引上了拓?fù)鋵W(xué)研究的正途?？墒且恢钡浆F(xiàn)在我對物理的興趣高于對數(shù)學(xué)的興趣。”吳文俊如是說，且不免有些遺憾，“我現(xiàn)在不懂物理了，要不是我年紀(jì)大了，我還要學(xué)學(xué)物理”。談起數(shù)學(xué)研究，他說：“搞數(shù)學(xué)當(dāng)然是很艱苦的，要說我為什么永不放棄，主要還是因?yàn)樽约寒吘箰蹟?shù)學(xué)，為了給中國的數(shù)學(xué)在世界上爭口氣?！?/p>

1946年，吳文俊到STRASSBOURG大學(xué)學(xué)習(xí)，先后在斯特拉斯堡、巴黎、法國科學(xué)研究中心進(jìn)行數(shù)學(xué)研究。1949年獲博士學(xué)位，1951年回國。談到國外的這段學(xué)習(xí)經(jīng)歷，他深有感觸：“法國數(shù)學(xué)水平是全世界一流的，在老師和同學(xué)的熏陶下，體會與國內(nèi)不一樣，在學(xué)術(shù)上給我很大的影響。”我們就順便提到了外語交流有無障礙時(shí)，吳文俊說：“國外出訪時(shí)，生活用語簡單，就那么幾句；而我主要與老師、同學(xué)打交道，大多講數(shù)學(xué)方面的事情，在語言方面那就更簡單了，用不著人翻譯?！?/p>

一般人過60歲就退休了，在家里抱抱孫子，頤享天年。聽說他工作忙是出了名的，我們問吳文俊想沒想過退休，老人一聽“退休”這個(gè)詞，就立刻聲音很高的說：“我是不退休的，院士是不退休的，名義上退休的話，我工作上也不會退休；即使我不是院士，也不退休，你退休了我工作，你不退休我也照樣工作。萬一退休，我照樣搞科研工作?！?/p>

20世紀(jì)70年代，吳文俊為了解決幾何定理機(jī)器證明和數(shù)學(xué)機(jī)械化問題，年近六十還從頭學(xué)習(xí)計(jì)算機(jī)語言，親自在袖珍計(jì)算器和臺式計(jì)算機(jī)上編制計(jì)算程序，嘗盡在微機(jī)上操作的甘苦。他的勤奮是驚人的，在利用HP-1000計(jì)算機(jī)進(jìn)行研究的那段時(shí)間內(nèi)，他的工作日程經(jīng)常是這樣安排的：清早，他來到機(jī)房外等候開門，進(jìn)入機(jī)房之后便八九個(gè)小時(shí)不間斷工作；下午5點(diǎn)鐘左右，他步行回家吃飯，并利用這個(gè)時(shí)間抓緊整理分析計(jì)算結(jié)果；到傍晚7點(diǎn)鐘左右，他又到機(jī)房工作，有時(shí)候只在午夜之后回家休息，清晨又回到機(jī)房。長期繁重的工作，使他常常忘記自己的生日。

“吳方法”打造數(shù)學(xué)機(jī)械化“吳家軍”

吳文俊在數(shù)學(xué)研究領(lǐng)域走過了半個(gè)多世紀(jì)的漫長道路。他的老伴說：“他是個(gè)搞學(xué)問的人，一心只搞學(xué)問。做家務(wù)，他沒有時(shí)間，也沒有興趣。”即使在上世紀(jì)六七十年代，受到?jīng)_擊也仍然抓緊時(shí)間從事科研。

“我本來根本沒有想到我會跟計(jì)算機(jī)打交道。一直到‘文化大革命，要我到工廠學(xué)習(xí)，我到北京無線電一廠。這次學(xué)習(xí)對我來說非常有成果，因?yàn)闊o線電一廠當(dāng)時(shí)轉(zhuǎn)向制造計(jì)算機(jī)，我在那兒真正接觸到計(jì)算機(jī)，我對計(jì)算機(jī)的效率大為驚奇，覺得這是一個(gè)非常重要的武器。這是一個(gè)機(jī)遇。另外一個(gè)機(jī)遇就是1974年學(xué)習(xí)中國數(shù)學(xué)史，我也得益于中國傳統(tǒng)數(shù)學(xué)的學(xué)習(xí)。兩者一對照，我覺得中國數(shù)學(xué)的思想和方法跟現(xiàn)在的計(jì)算機(jī)是合拍的，就促使我進(jìn)行一些機(jī)器證明方面的嘗試?！睓C(jī)遇只光顧有準(zhǔn)備的頭腦，但是有準(zhǔn)備的頭腦能不能在機(jī)遇來臨的時(shí)候不失時(shí)機(jī)地抓住它，需要科學(xué)家敢于打破慣有思維的勇氣和創(chuàng)新精神。難怪，一同榮獲國家最高科技獎(jiǎng)的“雜交水稻之父”袁隆平也這樣認(rèn)為：“吳文俊機(jī)器證明的研究方法，是中國古代數(shù)學(xué)思想跟當(dāng)代計(jì)算機(jī)技術(shù)的‘遠(yuǎn)緣雜交，如是‘親近雜交想必是要退化的。”

吳文俊為拓?fù)鋵W(xué)做了奠基性的工作，取得的成就聞名國際數(shù)學(xué)界。1976年，年近花甲的吳文俊毅然開始攀越數(shù)學(xué)生涯的第二座高峰——數(shù)學(xué)機(jī)械化。1977年，吳文俊關(guān)于平面幾何定理的機(jī)械化證明首次取得成功，從此完全由中國人開拓的一條數(shù)學(xué)道路鋪展在世人面前。這是國際自動(dòng)推理界先驅(qū)性的工作，被稱為“吳方法”。數(shù)十年間，吳文俊不僅建立了“吳公式”、“吳示性類”、“吳示嵌類”、“吳方法”、“吳中心”，更形成了“吳學(xué)派”，被國際數(shù)學(xué)界稱為“吳文俊公式”、“吳文俊示性類”等已被編入許多名著研究。

上世紀(jì)80年代，美國計(jì)算機(jī)科學(xué)界的權(quán)威曾聯(lián)名寫信給我國領(lǐng)導(dǎo)人，認(rèn)為吳先生的工作是“第一流的”。美國人工智能和自動(dòng)推理方面的一些權(quán)威人士指出：“吳的工作不僅奠定了自動(dòng)推理研究的基礎(chǔ)，而且給出了衡量其他推理方法的明確標(biāo)準(zhǔn)”，“吳的工作改變了自動(dòng)推理的面貌，是近幾十年來自動(dòng)推理領(lǐng)域最主要的進(jìn)展”，“他使中國的自動(dòng)推理研究在國際上遙遙領(lǐng)先”。數(shù)學(xué)家李邦河分析說：“必須是具備多方面的數(shù)學(xué)知識和善于創(chuàng)造性思維的人，才可能作出這一獨(dú)特的發(fā)現(xiàn)，一是他對中國古代數(shù)學(xué)的深刻理解，中國古代數(shù)學(xué)是構(gòu)造性的、可計(jì)算的，而只有構(gòu)造性的數(shù)學(xué)才可能在計(jì)算機(jī)上實(shí)現(xiàn)。二是對初等幾何的非一般可比的精通。三是熟悉代數(shù)幾何，他面對的是多項(xiàng)式系統(tǒng)。”美、德、英、法、意、日等國都在致力于“吳方法”的研究和證明，并已在智能計(jì)算機(jī)、機(jī)器人學(xué)、控制論、工程設(shè)計(jì)等方面獲得應(yīng)用。

吳文俊一生教了多少學(xué)生，無法用數(shù)字計(jì)算?！皩W(xué)生不少，也有很出色的，但有的去世了。其中一個(gè)學(xué)拓?fù)鋵W(xué)，本來很好的，但在‘文化大革命中患癌癥去世了。還有一個(gè)也是很好的，60年代的，很出色的，在美國一次車禍中去世了。”語言中深含惋惜，良久才說，“有兩個(gè)非常出色的，去世了?，F(xiàn)在當(dāng)然也有一些很出色的，一定要說誰比誰好，這很難說，都很不錯(cuò)的”，吳文俊的話音又出現(xiàn)了愉悅，“這叫做后繼有人嘛”。在吳文俊的主持研究實(shí)踐下，我國一支較完整的數(shù)學(xué)機(jī)械化研究隊(duì)伍已經(jīng)形成，并在機(jī)器證明、方程求解、實(shí)代數(shù)幾何等方面做出了國際領(lǐng)先的成果，多次獲得國際、國內(nèi)重要獎(jiǎng)勵(lì)。

“吳公式”主人的生活不“公式”

吳文俊是中國數(shù)學(xué)界的泰山北斗，他取得的成績對絕大多數(shù)人來說可望而不可及，但是他畢竟是個(gè)人，有七情六欲，有喜怒哀樂，并且他的興趣還相當(dāng)豐富，活力不亞于年輕人。有一次去香港參加研討，活動(dòng)間隙出去游玩，那時(shí)年逾古稀的他竟坐上了過山車，玩得不亦樂乎。老伴一提起這個(gè)就說：“嗨，那是小孩玩的，他也要玩?！眳俏目≡L問泰國期間，也坐到大象鼻子上開懷大笑。有一次在澳大利亞，他“頑皮”地將蟒蛇纏在了脖子上，嚇得旁人紛紛后退。

但平日里，這位鼎鼎大名的數(shù)學(xué)家很大的一個(gè)嗜好就是看電影，不僅有手舉紙鈔苦候退票的“經(jīng)歷”，也有“泡”電影院誤了末班車徒步回家的逸事。話一觸及到電影，吳文俊便興趣盎然：“這兩年沒看了。那些大片，武打片子，把我胃口倒掉了。”頗不滿意的他，仿佛一個(gè)要東西卻沒得到而噘著嘴的孩子，吳文俊緊接著又很認(rèn)真的說：“《刮痧》你們知不知道，我在報(bào)紙上看到了介紹，我覺得有意思，我很想看?！?001年，采訪之前我們剛看過，覺得有意思，就說：“我們看了，很有意思，講中西方文化沖突的，值得一看，您也去看看吧?！薄拔沂呛芟肟吹模瑘?bào)紙上講了，但附近一帶沒電影院了，還要跑老遠(yuǎn)去看?！甭犞鴧俏目『芟肟磪s又無處看的遺憾的口氣，記者便說：“您可以買張碟，放DVD來看?！眳俏目　鞍　绷艘宦?，問我們說的是什么，最后才明白過來，“我還沒有這種設(shè)備，我的設(shè)備錄放機(jī)也壞了，也沒修理。我以前經(jīng)常去海淀工人文化宮影劇院，過了條馬路就是了，現(xiàn)在撤掉了?！崩先苏f得意興闌珊。

“我最喜歡歷史片，不過‘戲說類的，我從來不看；真正的歷史片，是從那里邊我可以學(xué)到一些歷史方面知識的。比如說吧，我第一次見到袁隆平呀，吃飯時(shí)一聊起來，沒想到我們的愛好有點(diǎn)相同，都喜歡看由普希金的小說改編的電影《上尉的女兒》，兩人不約而同的都喜歡，而且對這電影看法相同。我是在法國的時(shí)候看的，就因?yàn)榭戳诉@個(gè)電影，就變?yōu)殡娪皭酆谜吡恕！庇捌€是讓老人滔滔不絕，“前一兩年，在國內(nèi)電視上演過一回，有一些修改，我對這個(gè)修改并不滿意，刪掉了一些，這些正是這個(gè)電影很吸引人的地方。個(gè)人胃口不同，我和袁隆平在這一點(diǎn)上有相同的看法?！笨磥砝先苏业搅艘粋€(gè)行業(yè)差別很大但觀點(diǎn)相同的很好的電影同盟?！坝幸恍╃R頭關(guān)于凱瑟林女王的，印象非常深，普加喬夫起義就在凱瑟林女王當(dāng)權(quán)的時(shí)候，許多吸引我的鏡頭刪掉了……”

除了電影外，吳文俊的另一大嗜好就是書籍。按他自己的說法是“隨便亂買”，種類很多，那些書絕大部分是中外文的數(shù)學(xué)資料，其余多是與歷史有關(guān)。為了節(jié)省時(shí)間，平時(shí)他節(jié)制業(yè)余愛好，“讀小說也只讀短篇，怕長篇誤事，耽誤時(shí)間”。吳文俊家位于中關(guān)村腹地，樸實(shí)無華，簡單得近乎簡陋，地板和墻壁好象和主人的歲數(shù)差不多。雖有五個(gè)房間，但是老人的書要兩三個(gè)房間才容納得下，以前的書架遠(yuǎn)遠(yuǎn)不夠放的，屋里到處都有書?！艾F(xiàn)在我正為這個(gè)事情發(fā)愁?！?/p>

吳文俊決不是一個(gè)沉悶的人，他不僅熱愛自己的專業(yè)，更熱愛豐富多彩的生活。然而，愛好廣泛的他將自己的生活簡單了再簡單——非常喜歡圍棋，但僅僅看別人下，自己很少與人對弈，因?yàn)榕律习a，花去太多的時(shí)間；也喜歡睡覺，可是躺在床上，思考最多的還是他所鉆研的數(shù)學(xué)！“我的業(yè)余愛好多，我現(xiàn)在對旅游很感興趣，看報(bào)、看電視，我都喜歡；有機(jī)會逛逛街，看看商品倒也有意思?！?/p>

走出工作間的吳文俊生活簡單，待人平易，生性樂觀——走在街頭，完全是普通人群中的一員。當(dāng)我們問他會不會為了研究而像有些大科學(xué)家一樣忘我到不修邊幅，甚至邋遢的地步，老人立刻說：“我不學(xué)他們，家庭、事業(yè)兩個(gè)都不可或缺，兩個(gè)方面的矛盾不多，家庭里雜七雜八的事情，都由老伴擔(dān)當(dāng)去了。我不參加什么活動(dòng)，不認(rèn)識什么人，我和老伴也是人介紹的。我獲獎(jiǎng)，老伴占一大部分功勞。”不過，他坦白地表示自己多年來有一個(gè)不穿襪子的習(xí)慣，常常赤足穿一雙半舊皮鞋，“也不知道什么時(shí)候養(yǎng)成了不穿襪子的習(xí)慣，只有會見外賓，參加重要活動(dòng)才‘被迫穿上。在回來的車上，往往‘迫不及待地脫下來?！笨赡苓@正是吳文俊所說的“努力躲避日?，嵤拢眉芯Α?。正所謂：攀高峰，“捷”足先登啊。

吳文俊的老伴陳丕合也是上海人，自1986年退休后就在家中干家務(wù)，全心照顧吳老。在采訪中她說：“我們家生活很簡單，普普通通，跟一般人家一樣，不追求什么奢華。關(guān)鍵是快樂，我們倆身體都很好?！?/p>

談及成功這個(gè)話題，吳文俊說：“天才是人努力造成，我不相信天才，但相信靈感。我有種怪論，數(shù)學(xué)是給笨人干的，一些人干數(shù)學(xué)就不合適?！?/p>

我們問他關(guān)于他的成果被5位“菲爾茲獎(jiǎng)”獲得者引用，而自己沒獲過此獎(jiǎng)，那心里怎么想這問題。吳文俊笑了笑，不在意地說：“我自己沒獲得，我想我若住在國外現(xiàn)在希望大一點(diǎn)，但對這我并不在乎?！彪S即又哈哈哈地笑，“也許這叫作那個(gè)‘狐貍吃酸葡萄吃不著，我吃不著……”我們也被逗樂了。他說，“搞數(shù)學(xué)，光發(fā)表論文不值得驕傲，應(yīng)該有自己的東西。不能外國人搞什么就跟著搞什么，應(yīng)該讓外國人跟我們跑。這是可以做到的?！?/p>

如今，吳文俊走了，給我們留下了一座數(shù)學(xué)豐碑，這座數(shù)學(xué)豐碑屹立世界，熠熠生輝；他也留下了偉大的成就、偉大的人格、偉大的精神，激勵(lì)更多的人。浩瀚宇宙中，有一顆被命名為“吳文俊星”的小行星，這是對他科學(xué)貢獻(xiàn)和科學(xué)精神的紀(jì)念和褒獎(jiǎng)。斯人已去，但那顆璀璨的“吳文俊星”將時(shí)刻照耀和激勵(lì)我們向科學(xué)的高峰奮進(jìn)。

責(zé)任編輯 李菡丹