吳文俊逝世 吳文俊死因是什么？吳文俊個人資料早年經歷介紹（2）

年近60學習計算機

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

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

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

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

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

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

只要覺得好奇，就想試試

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

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

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

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

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

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

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