吳文俊(Wentsun WU)，男，祖籍浙江嘉興人，1919年5月12日出生于中國上海，數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機械化兩個領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國際同行廣泛引用。

　　吳文俊畢業(yè)于交通大學(xué)，1949年獲得法國斯特拉斯堡大學(xué)博士學(xué)位。70年代后期，在計算機技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機器證明，徹底改變了這個領(lǐng)域的面貌，是國際自動推理界先驅(qū)性的工作，被稱為吳特征列方法，產(chǎn)生了巨大影響。吳的研究取得了一系列國際領(lǐng)先成果并已應(yīng)用于國際上當(dāng)前流行的符號計算軟件方面。

　　吳文俊現(xiàn)在是中國科學(xué)院系統(tǒng)科學(xué)研究所名譽所長，他獲得多項國內(nèi)外獎，1997年獲自動推理領(lǐng)域最高獎Herbrand Award，2006年獲邵逸夫獎數(shù)學(xué)科學(xué)獎。

　　編號第7683號小行星被永久命名為“吳文俊星”。

　　吳文俊1940年畢業(yè)于交通大學(xué)數(shù)學(xué)系，1949年獲法國國家博士學(xué)位。世界著名數(shù)學(xué)家， 中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽所長，中國數(shù)學(xué)會名譽理事長。中國數(shù)學(xué)機械化研究的創(chuàng)始人之一，現(xiàn)任中國科學(xué)院系統(tǒng)科學(xué)研究所名譽所長、研究員，中國科學(xué)院院士，第三世界科學(xué)院院士;曾任中國數(shù)學(xué)會理事長(1985-1987)，中國科學(xué)院數(shù)理學(xué)部主任(1992-1994)，全國政協(xié)委員、常委(1979-1998)。

　　他在拓?fù)鋵W(xué)、自動推理、機器證明、代數(shù)幾何、中國數(shù)學(xué)史、對策論等研究領(lǐng)域均有杰出的 貢獻(xiàn)，在國內(nèi)外享有盛譽。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國際機器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價值。當(dāng)前國際流行的主要符號計算軟件都實現(xiàn)了吳文俊教授的算法。

　　曾獲得首屆國家自然科學(xué)一等獎(1956)、中國科學(xué)院自然科學(xué)一等獎(1979)、第三世界科學(xué)院數(shù)學(xué)獎(1990)、陳嘉庚數(shù)理科學(xué)獎(1993)、首屆香港求是科技基金會杰出科學(xué)家獎(1994)、Herbrand自動推理杰出成就獎(1997)、首屆國家最高科學(xué)技術(shù)獎(2000)、第三屆邵逸夫數(shù)學(xué)獎(2006)。

　　2010年5月4日，國際小行星中心先后發(fā)布公報通知國際社會，將國際永久編號第7683號小行星永久命名為“吳文俊星”。