正文

第17節(jié):吳文俊:生活在數(shù)學(xué)王國中(2)

推動中國科技進(jìn)程的20人 作者:余瑋


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

一天,一位客人來拜訪吳文俊,見面就說:"聽您夫人講,今天是您的六十大壽,特來祝賀!""噢,是嗎?"吳教授聽了,若無其事地說??腿烁械矫曰蟛唤猓南耄?這位數(shù)學(xué)家恐怕是老糊涂了,記憶力衰退,不然怎么連自己的生日都忘了呢?"

可是,后來客人發(fā)現(xiàn)并非如此。當(dāng)他倆談到吳教授所研究的用機(jī)器證明幾何問題時,客人指著教授所設(shè)計的一臺機(jī)器問道:"這臺機(jī)器是什么時候安裝好的?""去年12月6日。"教授不假思索地回答。"您在研究用機(jī)器證明幾何問題方面有哪些進(jìn)展?"客人又問。"大的進(jìn)展談不上。今年1月11日以前,我為計算機(jī)編了300多道'命令'的程序,完成了第一步準(zhǔn)備工作。"教授繼續(xù)回答。這時,客人十分驚訝地問道:"吳教授,您自己的生日都記不住,這幾個日子卻記得這么清楚,這是什么原因?"吳文俊教授爽朗地笑了:"我從來不記那些無意義的數(shù)字。在我看來,生日,早一天,晚一天,有什么要緊?所以,我的生日,愛人的生日,孩子們的生日,我都記不得,但有些數(shù)字就非記不可,也很容易記。例如,年底,當(dāng)然是12月;而6正好是12的一半。年初,自然是1月,而1月11日,排成阿拉伯?dāng)?shù)字是111,3個1連排,很好記。"

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

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

吳老為拓?fù)鋵W(xué)做了奠基性的工作,取得的成就聞名國際數(shù)學(xué)界。1976年,年近花甲的吳文俊毅然開始攀越數(shù)學(xué)生涯的第二座高峰---數(shù)學(xué)機(jī)械化。1977年,吳文俊關(guān)于平面幾何定理的機(jī)械化證明首次取得成功,從此完全由中國人開拓的一條數(shù)學(xué)道路鋪展在世人面前。這是國際自動推理界先驅(qū)性的工作,被稱為"吳方法"。數(shù)十年間,吳文俊不僅建立了"吳公式"、"吳示性類"、"吳示嵌類"、"吳方法"、"吳中心",更形成了"吳學(xué)派",被國際數(shù)學(xué)界稱為"吳文俊公式"、"吳文俊示性類"等已被編入許多研究名著。80年代,美國計算機(jī)科學(xué)界的權(quán)威曾聯(lián)名寫信給我國中央領(lǐng)導(dǎo),認(rèn)為吳先生的工作是"第一流的",美國人工智能和自動推理方面的一些權(quán)威人士指出:"吳的工作不僅奠定了自動推理研究的基礎(chǔ),而且給出了衡量其他推理方法的明確標(biāo)準(zhǔn)。""吳的工作改變了自動推理的面貌,是近幾十年來自動推理領(lǐng)域最主要的進(jìn)展。""他使中國的自動推理研究在國際上遙遙領(lǐng)先。"數(shù)學(xué)家李邦河分析說:"必須是具備多方面的數(shù)學(xué)知識和善于創(chuàng)造性思維的人,才可能作出這一獨(dú)特的發(fā)現(xiàn),一是他對中國古代數(shù)學(xué)的深刻理解,中國古代數(shù)學(xué)是構(gòu)造性的,可計算的,而只有構(gòu)造性的數(shù)學(xué)才可能在計算機(jī)上實(shí)現(xiàn)。二是對初等幾何的非一般可比的精通。三是熟悉代數(shù)幾何,他面對的是多項(xiàng)式系統(tǒng)。"美、德、英、法、意、日等國都在致力于"吳方法"的研究和證明,并已在智能計算機(jī)、機(jī)器人學(xué)、控制論、工程設(shè)計等方面獲得應(yīng)用。


上一章目錄下一章

Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號