近日，已故數(shù)學(xué)家、中國科學(xué)院院士吳文俊獲“人民科學(xué)家”國家榮譽稱號。作為我國最具國際影響力的數(shù)學(xué)家之一，吳文俊在拓撲學(xué)等領(lǐng)域的卓著成果迄今為人所稱道，他提出的“吳公式”“吳示性類”“吳示嵌類”，至今仍被國際同行廣泛引用。

　　曾經(jīng)，吳文俊對傳統(tǒng)數(shù)學(xué)有股執(zhí)念，他在反對聲中潛心研究古代數(shù)學(xué)，成績斐然。后來，在對中國數(shù)學(xué)史長期研究中，吳文俊又發(fā)現(xiàn)中國古代數(shù)學(xué)蘊含數(shù)學(xué)機械化的思想，于是生于1919年的吳文俊成為我國最早的計算機關(guān)注者之一。

　　在吳文俊的科研生涯中，他常做“第一個吃螃蟹的人”。他勇攀高峰、敢為人先的創(chuàng)新精神，追求真理、嚴謹治學(xué)的求實精神成為后輩們學(xué)習的對象。他為了一臺計算機想辦法的故事也常被身邊人憶起。

　　當年，計算機是個稀罕物，“如何擁有一臺計算機”成為吳文俊左思右想的事。買計算機很貴而且需要外匯，到哪里才能找來這些錢呢?

　　有朋友給他出了個主意，向中科院領(lǐng)導(dǎo)遞一封信。于是吳文俊趁著中科院一位副院長作報告的機會遞交了自己的請求信，并幸運地獲得了兩萬美元的資金。1979年初，吳文俊懷揣著這筆“巨款”，趁著到美國做學(xué)術(shù)訪問的機會買回了一臺臺式計算機。

　　60歲的吳文俊開始學(xué)習編寫計算機程序，這可不是一件容易的事。他學(xué)會Basic語言不久，Basic就被Algol淘汰，剛學(xué)會Algol不久，Algol又被Fortran淘汰，一切又得重來。但科研路上，吳文俊從不怕困難?！澳菚r很苦，但這不算什么?！彼髞砘貞浾f。

　　吳文俊堅持下來，他提出用計算機證明幾何定理的“吳方法”，被認為是自動推理領(lǐng)域的里程碑，而他本人也成為中國人工智能歷史上一位里程碑式的開拓者。

　　人物簡介 吳文俊(1919-2017)，數(shù)學(xué)家，中國科學(xué)院院士，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，系統(tǒng)科學(xué)研究所名譽所長。1936年進入交通大學(xué)數(shù)學(xué)系，1949年獲法國斯特拉斯堡大學(xué)博士學(xué)位;1957年當選為中國科學(xué)院學(xué)部委員(院士);1991年當選第三世界科學(xué)院院士;2001年獲2000年度國家最高科學(xué)技術(shù)獎。吳文俊的研究工作涉及數(shù)學(xué)的諸多領(lǐng)域，他為拓撲學(xué)做了奠基性的工作;他的示性類和示嵌類研究被國際數(shù)學(xué)界稱為“吳公式”“吳示性類”“吳示嵌類”，至今仍被國際同行廣泛引用。2019年被授予“人民科學(xué)家”國家榮譽稱號。