吳文俊數(shù)學(xué)家是怎樣而成的

發(fā)布時(shí)間：2025-09-18 | 來源：互聯(lián)網(wǎng)轉(zhuǎn)載和整理

吳文俊

(Wentsun

WU)，男，祖籍浙江嘉興，1919年5月12日出生于中國上海，數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個(gè)領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國際同行廣泛引用。吳文俊畢業(yè)于交通大學(xué)，1949年獲得法國斯特拉斯堡大學(xué)博士學(xué)位。70年代后期，在計(jì)算機(jī)技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機(jī)器證明，徹底改變了這個(gè)領(lǐng)域的面貌，是國際自動(dòng)推理界先驅(qū)性的工作，被稱為吳特征列方法，產(chǎn)生了巨大影響。吳的研究取得了一系列國際領(lǐng)先成果并已應(yīng)用于國際上當(dāng)前流行的符號計(jì)算軟件方面。吳文俊現(xiàn)在是中國科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長，他獲得多項(xiàng)國內(nèi)外獎(jiǎng)，1997年獲自動(dòng)推理領(lǐng)域最高獎(jiǎng)Herbrand

Award，2006年獲邵逸夫獎(jiǎng)數(shù)學(xué)科學(xué)獎(jiǎng)。

謝謝您。祝生活愉快。