原標題:追求純粹的數(shù)學人生

首屆國家最高科技獎獲得者、著名數(shù)學家吳文俊院士因病醫(yī)治無效,于5月7日在北京逝世,享年98歲。中國科學院數(shù)學與系統(tǒng)科學研究院發(fā)布的訃告稱,吳文俊院士是中國最具國際影響的數(shù)學家之一,他的工作對數(shù)學與計算機科學研究影響深遠。

吳文俊1919年5月12日出生于上海。1940年畢業(yè)于上海交通大學,1946年到中央研究院數(shù)學所工作。他與國際數(shù)學大師陳省身的師生故事被數(shù)學界傳為一段佳話。當時陳省身在研究所主持拓撲學研究工作,在他的幫助和引導下,原為圖書館管理員的吳文俊進入了拓撲學研究領域。與他住在一個宿舍的曹錫華回憶,吳文俊每天攻關至夜深,感覺證明成功后方才睡覺。可一覺醒來,發(fā)現(xiàn)證明有錯,便重新開始。到下午,吳文俊又對同事說:“證明出來了。”可很快他又會發(fā)現(xiàn),證明出現(xiàn)了漏洞,既而又開始熬夜。如此反復了不知多少遍,終獲成功。

1947年,他考上了中法交換生,赴斯特拉斯堡大學留學,兩年后獲得法國國家博士學位,隨后在法國國家科學中心任研究員。在法國學習時,為了參考更多的外國文獻,他自學了英語、法語、德語和俄語。他謙虛地表示:“會4種外語沒有什么,它們只是研究工具而已。”留學期間,他再次向拓撲學最困惑的問題發(fā)起了攻擊——證明4k維球無近復結構。這個問題的解決,使歐洲的拓撲學大師們大為吃驚。他們不敢相信,一個中國學生能解決這樣的難題。

新中國成立后,吳文俊于1951年回國,先后在北京大學、中國科學院數(shù)學所、中國科學院系統(tǒng)所、中國科學院數(shù)學與系統(tǒng)科學研究院任職。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”,他導出的示性類之間的關系式被稱為“吳公式”,極大地推進了拓撲學的發(fā)展,成為影響深遠的經(jīng)典性成果,引發(fā)了大量的后續(xù)研究。由于他的出色工作,1956年,他與華羅庚、錢學森一起榮獲1956年國家第一屆自然科學獎的最高獎,1957年他當選為中國科學院學部委員(院士)。

直到晚年,吳文俊都在研究數(shù)學。受計算機與中國古代數(shù)學的啟發(fā),上世紀70年代后期,已近花甲之年的吳文俊又開創(chuàng)了嶄新的數(shù)學機械化領域,并由此開創(chuàng)了近代數(shù)學史上的第一個由中國人原創(chuàng)的研究領域。他把中國傳統(tǒng)數(shù)學的思想概括為機械化思想,提出了用計算機證明幾何定理的方法,國際上稱為“吳方法”,首次實現(xiàn)了高效的幾何定理自動證明,開創(chuàng)了用計算機高效自動解決數(shù)學問題的先河。

為了在計算機上驗證演算結果,年近60歲的他學習了Basic、Algol和Fortran等多種編程語言。他每天早晨7點多,書包里揣著一個饅頭,等管理人員開門后,就一頭扎入機房,一般10小時后才出來。傍晚回家,晚飯后突擊整理編寫結果,2小時后,再回研究所進入機房,工作到午夜或凌晨。他幽默地總結說:“數(shù)學適合笨人來做。”

2001年,吳文俊因其在拓撲學與數(shù)學機械化研究獲得首屆國家最高科學技術獎。他的研究工作還涉及代數(shù)幾何學、對策論、中國數(shù)學史等多個數(shù)學領域,并在其中做出了卓越的貢獻。

浩瀚宇宙中,有一顆被命名為“吳文俊星”的小行星,這是對他科學貢獻和科學精神的紀念和褒獎。斯人已去,但那顆璀璨的“吳文俊星”將時刻照耀和激勵我們向科學的高峰奮進。