2017年5月7日,數(shù)學(xué)界巨擘、中國科學(xué)院院士、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員、首屆國家最高科學(xué)技術(shù)獎獲得者吳文俊駕鶴西行,享年98歲。
吳文俊曾在《東方數(shù)學(xué)的使命》這篇文章中提出一個問題:“怎樣進(jìn)行工作,才能對得起古代的前輩,建立起我們新時代的新數(shù)學(xué),并在不遠(yuǎn)的將來,使東方的數(shù)學(xué)超過西方的數(shù)學(xué),不斷地出題目給西方做?我想,這是值得我們大家思考和需要努力的方面?!?/p>
為解答這個問題,吳文俊身體力行。在拓?fù)鋵W(xué)領(lǐng)域,吳文俊引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”,他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”。在吳文俊研究的影響下,研究拓?fù)鋵W(xué)的“武器庫”得以形成,法國數(shù)學(xué)家托姆、美國數(shù)學(xué)家米爾諾等許多著名數(shù)學(xué)家都受他啟發(fā)或以他的研究為起點之一,獲得一系列重要成果。
1970年代后期,吳文俊開創(chuàng)了嶄新的數(shù)學(xué)機械化領(lǐng)域,他提出的用計算機證明幾何定理的“吳方法”被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作。因為這項工作,他獲得了2006年的“邵逸夫數(shù)學(xué)獎”。
這樣開創(chuàng)性的工作,源自吳文俊對數(shù)學(xué)發(fā)展、對中國古代數(shù)學(xué)的深刻理解。吳文俊認(rèn)為,中國古代數(shù)學(xué)不同于西方傳統(tǒng)公理化數(shù)學(xué),它是構(gòu)造性的、算法性的,因而是最符合數(shù)學(xué)機械化的。他用算法的觀點對中國古算作了正本清源的分析,不僅開辟了中國數(shù)學(xué)史研究的新思路與新方法,也與機械化數(shù)學(xué)的開創(chuàng)密切相關(guān)。
“科研是永遠(yuǎn)做不完的。數(shù)學(xué)的難題有很多,簡直是越來越多。堅持做科研可能是中國科學(xué)家的特點,中國科學(xué)家后勁很足,年輕時做科研,六七十歲后仍在做科研,甚至八十歲后還在做?!睂τ趨俏目《裕A羅庚和陳省身是他的榜樣,生命不息、創(chuàng)新不止,他從不放棄研究。
吳文俊曾說:“不管一個人做什么工作,都是在整個社會、國家的支持下完成的。有很多人幫助我,我數(shù)都數(shù)不過來。我們是踩在許多老師、朋友、整個社會的肩膀上才上升了一段。我應(yīng)當(dāng)怎樣回報老師、朋友和整個社會呢?我想,只有讓人踩在我的肩膀上再上去一截。我就希望我們的數(shù)學(xué)研究事業(yè)能夠一棒一棒地傳下去?!?/p>
吳文俊曾師從數(shù)學(xué)家陳省身,他多次表達(dá)對老師的感激和懷念。他曾回憶,1946年前后,受陳省身指點,他確立了代數(shù)拓?fù)鋵W(xué)的研究方向,曾因戰(zhàn)亂、生計所迫一度中斷的數(shù)學(xué)研究得以重新開始。
有感于師恩深重,吳文俊此后一生都以陳省身為榜樣,不斷鼓勵和幫助后輩,并終生矢志不渝地推進(jìn)數(shù)學(xué)學(xué)科的發(fā)展。2007年,已88歲高齡的吳文俊仍站在講臺上傳道授業(yè),為數(shù)學(xué)院研究生作了題為《消去法與代數(shù)幾何》的報告并解答了學(xué)生們的許多問題。參與者回憶,在近兩個小時的過程中,吳文俊始終站著,聲音鏗鏘。
在他的影響下,中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院成立了數(shù)學(xué)機械化重點實驗室,對“吳方法”和“吳消元法”進(jìn)行了大量后續(xù)性研究工作,這個實驗室所形成的高水平數(shù)學(xué)機械化研究隊伍,在國際上被稱為“吳學(xué)派”。如今,吳文俊的成就正被應(yīng)用于曲面造型、機器人機構(gòu)的位置分析、智能計算機輔助等若干高科技領(lǐng)域,并取得了一系列國際領(lǐng)先的成果。