原標題:追求純粹的數學人生

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

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

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

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

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

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

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

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