吳文俊(Wentsun WU)，男，祖籍浙江嘉興人，1919年5月12日出生于中國(guó)上海，數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個(gè)領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國(guó)際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國(guó)際同行廣泛引用。
吳文俊畢業(yè)于交通大學(xué)，1949年獲得法國(guó)斯特拉斯堡大學(xué)博士學(xué)位。70年代后期，在計(jì)算機(jī)技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國(guó)古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機(jī)器證明，徹底改變了這個(gè)領(lǐng)域的面貌，是國(guó)際自動(dòng)推理界先驅(qū)性的工作，被稱為吳特征列方法，產(chǎn)生了巨大影響。吳的研究取得了一系列國(guó)際領(lǐng)先成果并已應(yīng)用于國(guó)際上當(dāng)前流行的符號(hào)計(jì)算軟件方面。
吳文俊現(xiàn)在是中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)，他獲得多項(xiàng)國(guó)內(nèi)外獎(jiǎng)，1997年獲自動(dòng)推理領(lǐng)域最高獎(jiǎng)Herbrand Award，2006年獲邵逸夫獎(jiǎng)數(shù)學(xué)科學(xué)獎(jiǎng)。
編號(hào)第7683號(hào)小行星被永久命名為“吳文俊星”。
吳文俊1940年畢業(yè)于交通大學(xué)數(shù)學(xué)系，1949年獲法國(guó)國(guó)家博士學(xué)位。世界著名數(shù)學(xué)家， 中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長(zhǎng)，中國(guó)數(shù)學(xué)會(huì)名譽(yù)理事長(zhǎng)。中國(guó)數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，現(xiàn)任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)、研究員，中國(guó)科學(xué)院院士，第三世界科學(xué)院院士;曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)(1985-1987)，中國(guó)科學(xué)院數(shù)理學(xué)部主任(1992-1994)，全國(guó)政協(xié)委員、常委(1979-1998)。
他在拓?fù)鋵W(xué)、自動(dòng)推理、機(jī)器證明、代數(shù)幾何、中國(guó)數(shù)學(xué)史、對(duì)策論等研究領(lǐng)域均有杰出的 貢獻(xiàn)，在國(guó)內(nèi)外享有盛譽(yù)。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國(guó)際機(jī)器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價(jià)值。當(dāng)前國(guó)際流行的主要符號(hào)計(jì)算軟件都實(shí)現(xiàn)了吳文俊教授的算法。
曾獲得首屆國(guó)家自然科學(xué)一等獎(jiǎng)(1956)、中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)(1979)、第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)(1990)、陳嘉庚數(shù)理科學(xué)獎(jiǎng)(1993)、首屆香港求是科技基金會(huì)杰出科學(xué)家獎(jiǎng)(1994)、Herbrand自動(dòng)推理杰出成就獎(jiǎng)(1997)、首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)(2000)、第三屆邵逸夫數(shù)學(xué)獎(jiǎng)(2006)。
2010年5月4日，國(guó)際小行星中心先后發(fā)布公報(bào)通知國(guó)際社會(huì)，將國(guó)際永久編號(hào)第7683號(hào)小行星永久命名為“吳文俊星”。