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

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

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

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

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

　　60歲的吳文俊開始學(xué)習(xí)編寫計(jì)算機(jī)程序，這可不是一件容易的事。他學(xué)會(huì)Basic語言不久，Basic就被Algol淘汰，剛學(xué)會(huì)Algol不久，Algol又被Fortran淘汰，一切又得重來。但科研路上，吳文俊從不怕困難?！澳菚r(shí)很苦，但這不算什么。”他后來回憶說。

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

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