同學們,一提起吳文俊這個名字,我想你一定會感覺有些陌生!可你知道嗎,他可是世界杰出的數(shù)學家。作為中國數(shù)學機械化研究的創(chuàng)始人之一,吳文俊在幾何定理機械化證明等研究領(lǐng)域做出了重要貢獻。下面就讓我來給你講講他的故事吧。
1919年5月12日,吳文俊生于上海。在他小的時候,很喜歡看歷史書籍,對數(shù)學并沒有多大興趣。在大學二年級時,還曾一度對數(shù)學失去興趣,甚至想輟學不念,是一位姓武的老師的精彩課程,改變了他對數(shù)學的看法。大學三四年級時的刻苦鉆研,更使他打下了現(xiàn)代數(shù)學的基礎(chǔ)。
1940年,他于上海交通大學數(shù)學系畢業(yè)后,正值抗日戰(zhàn)爭年代,吳文俊在中學默默任教了5年。此后,和數(shù)學大師陳省身的結(jié)識,使他走上了拓撲學研究之路,并以自己的天才和功力,很快在這一領(lǐng)域嶄露頭角,一發(fā)不可收拾。1946年,吳文俊赴法國留學,并獲法國國家博士學位。1956年,37歲的吳文俊因其在拓撲學上的杰出成就,與華羅庚、錢學森一起獲得當時的“最高科技獎”——國家自然科學一等獎,第二年他成為了當時最年輕的中國科學院學部委員(院士)。
1976年,年近花甲的吳文俊放棄已成就卓著的拓撲學研究,“不可思議”地毅然開始攀越學術(shù)生涯的第二座高峰——數(shù)學機械化。實現(xiàn)腦力勞動機械化,是吳文俊的理想和追求。1977年,吳文俊關(guān)于平面幾何定理的機械化證明首次取得成功,從此,完全由中國人開拓的一條數(shù)學道路鋪展在世人面前。數(shù)10年間,吳文俊不僅建立了“吳公式”、“吳示性類”、“吳示嵌類”、“吳方法”、“吳中心”,更形成了“吳學派”。近代數(shù)學史上第一次由中國人開創(chuàng)的這一新領(lǐng)域,吸引了各國的眾多數(shù)學家前來學習。因為“手工計算上千項的證明要幾天工夫,用計算機1秒鐘就可以完成?!?/p>
諾貝爾獎沒有設(shè)數(shù)學獎,人們通常把“菲爾茲獎”譽為數(shù)學中的諾貝爾獎。吳文俊的工作被5位菲爾茲獎獲得者引用,有3位獲獎?wù)叩墓ぷ鬟€使用了吳文俊的方法。一直到最近兩年,仍有菲爾茲獎得主在引用吳文俊的經(jīng)典結(jié)果。
要知道,基礎(chǔ)研究是“好奇心驅(qū)動的研究”,也許正是因為童心不泯、好奇之心,才“驅(qū)動”著吳文俊在數(shù)學王國里自由馳(chí)騁(chěng),屢戰(zhàn)屢捷。半個世紀里,吳文俊在拓撲學、數(shù)學機械化和中國數(shù)學史等方面,做出了開創(chuàng)性的世界級貢獻。他的成就奇跡般地大大縮短了中國近代數(shù)學與國際間的差距,大長了中國人的志氣。他的“吳方法”在國際機器證明領(lǐng)域產(chǎn)生巨大的影響,有廣泛重要的應(yīng)用價值。當前國際流行的主要符號計算軟件都實現(xiàn)了吳文俊教授的算法。他也因此獲獎無數(shù):首屆香港求是科技基金會杰出科學家獎;第三世界科學院數(shù)學獎;首屆國家最高科學技術(shù)獎;第三屆邵逸夫數(shù)學獎……
同學們,希望有朝一日,你們也能像他一樣,孜孜(zī)以求,不斷探索,成為一名世界矚(zhǔ)目的數(shù)學家。