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

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

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

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

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

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

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

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