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

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

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

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

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

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

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

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