年近60學習計算機

對新事物的好奇熱衷和不斷探索在吳文俊幾十年的學術(shù)生涯中處處可見。

上世紀70年代，吳文俊到計算機工廠勞動，有機會第一次接觸到了計算機。經(jīng)過一段時間的了解和認識，他切身感受到了計算機的巨大威力，敏銳地覺察到計算機的極大發(fā)展?jié)撃堋?ldquo;對于數(shù)學未來的發(fā)展具有決定性影響的一個不可估量的方面是計算機對數(shù)學帶來的沖擊，在不久的將來，電子計算機之于數(shù)學家，勢將如顯微鏡之于生物學家，望遠鏡之于天文學家那樣不可或缺。”

于是，當時已年近60的吳文俊決定從頭學習計算機語言。這期間，他親自在袖珍計算器和臺式計算機上編制計算程序，嘗盡了在微機上操作的甘苦。

“那時計算機的操作可不像現(xiàn)在的計算機這么簡單方便。”吳文俊說。

在利用 HP—1000 計算機進行研究的那段時間內(nèi)，他的工作日程每天都被安排得滿滿當當。清早，他來到機房外等候開門，進入機房之后便八九個小時不間斷工作；下午5點鐘左右，他步行回家吃飯，并利用這個時間抓緊整理分析計算結(jié)果；到傍晚7點鐘左右，他又到機房工作，有時候只在午夜之后回家休息，清晨又回到機房。為了節(jié)省時間，平時也節(jié)制業(yè)余愛好，讀小說也只讀短篇，怕長篇誤事，耽擱時間。

受計算機與古代傳統(tǒng)數(shù)學的啟發(fā)，1976年底，吳文俊形成了一個初等幾何定理的機械化證明思想。經(jīng)過幾個月的試驗，終于在 1977 年的春節(jié)前成功地用這一思想證明了一些定理。這一研究開創(chuàng)了機器定理證明的時代，國際上稱為 “吳文俊方法” 和 “吳消元法” ，實現(xiàn)了初級幾何與微分幾何定理的機器證明，抓住了數(shù)學機械化研究的核心，居于世界領先地位。這些創(chuàng)新有重要的應用價值，為實現(xiàn)笛卡爾與萊布尼茨提出的以機器代替人腦來促進數(shù)學研究與思維方式、方法的變革邁出了一大步。

只要覺得好奇，就想試試

生活中的吳文俊被老伴兒笑稱“貪玩”，活力不亞于年輕人。

有一次吳文俊和同事們一起去香港參加學術(shù)研討?；顒娱g隙，當時已年逾古稀的他竟然自己偷偷溜去游樂園坐過山車，還玩得不亦樂乎。還有一次在澳大利亞，吳老“頑皮”地將蟒蛇纏在脖子上，嚇得旁人紛紛后退，直冒冷汗。

而今提起這兩次經(jīng)歷，吳老說當時只是覺得好玩、好奇，自己也想試試。

“有一年我和中國數(shù)學會理事長馬志明一起去?？陂_會。一天外出看到蟒蛇表演，當時馬志明就把蟒蛇繞在了自己脖子上。那是我第一次看到蟒蛇繞脖子的表演，知道這樣做沒什么危險。過了幾年我去澳大利亞開會，其間出游到動物園，看到蟒蛇表演，有好多人都把蟒蛇繞到了脖子上，我也就這么做了。至于坐過山車，當時是覺得好玩就坐上去了，結(jié)果上去了就有點后悔，可是已經(jīng)下不來了。如果早知道那么害怕，就不敢去坐了。” 說完吳老又頑皮地笑了。

工作之余，吳文俊還有很多“時髦”的愛好，比如看看圍棋比賽，去小店喝喝咖啡，到影院看看電影，讀讀歷史小說。

“摔跤之前我還常常一個人打車去家附近的小店，坐在那里邊喝咖啡邊看書，一待就是一個上午，很安靜舒服的?？墒沁@段時間不行了，每天只能待在家里看小說。”吳老說，“讀歷史書籍、看歷史影片，幫助了我的學術(shù)研究；看圍棋比賽，更培養(yǎng)了我的全局觀念和戰(zhàn)略眼光。別看圍棋中的小小棋子，每個棋子下到哪兒都至關(guān)重要，所謂‘一著不慎，滿盤皆輸’。我們搞學術(shù)研究也是這樣，要有發(fā)展眼光、戰(zhàn)略眼光和全局觀念，這樣才能出大成果。”

常常有人向吳文俊請教快樂長壽的秘訣。他總是說，我信奉丘吉爾的一句話，能坐著就不站著，能躺著就不坐著，要讓生活盡量輕松平淡，不要為無謂的煩惱干擾。