1919年(nian)（中(zhong)華民國八年(nian)）5月12日，吳(wu)文(wen)俊(jun)出生(sheng)于(yu)上海，祖籍浙江嘉興(xing)，因(yin)戰亂遷至(zhi)地勢(shi)高(gao)、遠離戰亂的(de)青(qing)浦縣朱家角。吳(wu)文(wen)俊(jun)自幼(you)受(shou)父親民主思想熏(xun)陶。他是長(chang)子，下有兩(liang)妹一弟。他4歲時(shi)(shi)被送到弄堂里的(de)文(wen)蔚(yu)小學讀書，課程(cheng)簡單，因(yin)此有許(xu)多(duo)空余時(shi)(shi)間。
1932年（中(zhong)華民(min)國二十一(yi)年），上(shang)海(hai)“一(yi)·二八”事變(bian)爆發后，吳(wu)文俊被(bei)送(song)回浙江(jiang)嘉興(xing)老家(jia)，躲避戰亂。半年之(zhi)后，他返回上(shang)海(hai)繼續讀(du)書。
1933年(nian)（中華民國(guo)二(er)(er)十二(er)(er)年(nian)）秋，吳文俊(jun)就讀(du)于正始中學(xue)(xue)，這才是他(ta)正規讀(du)書生(sheng)涯的(de)(de)開(kai)始。吳文俊(jun)高中畢業時，其實興(xing)趣在(zai)物理(li)而不在(zai)數(shu)學(xue)(xue)。一次物理(li)考試題很(hen)難(nan)，他(ta)卻(que)(que)成(cheng)績出(chu)色(se)。畢業時校方(fang)討(tao)論保送，物理(li)老師卻(que)(que)以他(ta)獨特的(de)(de)目(mu)光推薦他(ta)學(xue)(xue)數(shu)學(xue)(xue)。他(ta)認定自(zi)己物理(li)考得(de)好(hao)的(de)(de)原因在(zai)于數(shu)學(xue)(xue)，而攻讀(du)數(shu)學(xue)(xue)才能使他(ta)的(de)(de)才能得(de)到更好(hao)更多的(de)(de)發(fa)揮。
1936年(nian)（中華民國二十(shi)五年(nian)），吳文俊被保送(song)至(zhi)交通大(da)學(xue)數學(xue)系。大(da)三學(xue)實變(bian)函數論(lun)(lun)，他以(yi)自學(xue)為主，讀經典著作。有了實變(bian)函數論(lun)(lun)的基礎(chu)，很(hen)快(kuai)進入康(kang)托爾集(ji)(ji)合(he)論(lun)(lun)，鉆研點集(ji)(ji)拓撲。
1940-1945年，先后(hou)在育(yu)英中學、培真中學、南(nan)洋模范女中、之江大學教書(shu)；期間曾失業(ye)半年。
1946年（中華(hua)民國三(san)十五(wu)年）年初，到上海臨時大(da)學(xue)任鄭(zheng)太樸教授(shou)的(de)助手(shou)；同年8月(yue)，陳省身吸收吳文(wen)俊(jun)到數學(xue)所任助理研(yan)究(jiu)員。
1947年（中華民國三(san)十六(liu)年），完成一項(xiang)重要拓(tuo)撲學研究(jiu)，證明Whitney乘積(ji)公式和對偶定(ding)理，1948年在Annalsof Math上發(fa)表(biao)；同年10月，由于成績斐(fei)然(ran)，他經推(tui)薦去(qu)歐洲(zhou)，到巴(ba)黎留學，在Strassbourg大學跟隨C.Ehresmann學習。
1949年，吳文俊去蘇黎(li)世(shi)訪(fang)問(wen)，獲(huo)得法國國家(jia)博(bo)士學位；同年秋天(tian)，應H·嘉當邀請(qing)入巴黎(li)法國國家(jia)科學研究中心工作。
1948年(nian)，開始參加CNRS研(yan)究工(gong)作初任Attaché de recherches，1951年(nian)升為Changé de Recherches。
1949年，完成“論(lun)球(qiu)叢空(kong)間(jian)結構的(de)示性(xing)類”的(de)博士論(lun)文(wen)，論(lun)文(wen)于(yu)1952年單行本發表。
1950年(nian)，與Thom合作發表關于流形上Stiefel-Whitney示(shi)性(xing)類(lei)的(de)論(lun)文，后通(tong)稱為吳類(lei)與吳公式。
1951年8月，回(hui)到中(zhong)國(guo)，在北京大學數學系任(ren)教(jiao)授。
1952年10月，到新建(jian)數學研究(jiu)所(suo)任研究(jiu)員。
1954年，開(kai)始非(fei)同(tong)倫性拓(tuo)撲不變(bian)量的(de)研究，由此引入(ru)示嵌(qian)類并開(kai)展(zhan)復(fu)合(he)形嵌(qian)入(ru)、浸入(ru)與同(tong)胚的(de)研究。
1956年(nian)，赴蘇聯參加全蘇第三屆數學家大會做Pontrjagin示性類報告，受到好(hao)評。
1956年，隨同陳建功(gong)、程(cheng)民德(de)教授(shou)訪問，始同國外學術界恢復(fu)聯系；同年，隨同蘇步青教授(shou)訪問保(bao)加利亞(ya)。
1958年(nian)，到剛(gang)剛(gang)成(cheng)立的(de)中國科學技術大(da)學授課。
1958年(nian)期間曾赴巴黎大學講課系(xi)統介紹(shao)示嵌類的工(gong)作，對于Haefliger等(deng)人有(you)很大影響。
1960年－1965年，負責中國(guo)科(ke)學(xue)技術大學(xue)數(shu)學(xue)系第三屆學(xue)生(sheng)負責人。
1967年，完成“示嵌類理(li)論在布線問題上的應用(yong)”。
1972年，美(mei)國(guo)拓撲學家Browder，Peterson，Spencer等訪華，獲得他們與(yu)其他國(guo)外學者如Smale等贈送的資料，使拓撲研(yan)究(jiu)重新開始。
1973年，數學(xue)所拓撲(pu)組開始關于有理(li)同倫論(lun)的(de)討論(lun)班，吳文俊(jun)開始其(qi)I*函子(zi)理(li)論(lun)的(de)研(yan)究。
1976年(nian)末，開(kai)始定理(li)機械化證明的研究，于(yu)次年(nian)春節期(qi)間取得成功。
1977年，首(shou)次發表定(ding)理的機械化(hua)證(zheng)明的論文，由此開辟(pi)全新的方向。
1978年，撰(zhuan)寫“數學(xue)概況及其發(fa)展”一(yi)文，發(fa)表于科學(xue)出(chu)版社(she)的《現代(dai)科學(xue)技術(shu)簡介》一(yi)書，文中(zhong)提出(chu)了腦力勞動機械化，但于刊印時被刪去。
1979年，加入中國共產(chan)黨；同年10月，關肇(zhao)直(zhi)創建系(xi)統(tong)科學(xue)研究所，吳文俊離數學(xue)所去系(xi)統(tong)所，任副(fu)所長。
1980年，中(zhong)國國內(nei)開始舉(ju)辦雙微會議，在首次會議上做報告(gao)“初等幾何和微分幾何的(de)定理機械化證明(ming)”。
1981年秋，去美(mei)國加州大學Berkeley分校講學。
1982年，回到中(zhong)(zhong)國科(ke)學(xue)技術大(da)學(xue)主持首批博(bo)士生(sheng)畢(bi)業(ye)答(da)辯。（參加答(da)辯的18位是中(zhong)(zhong)國自(zi)己培養的第一批博(bo)士）
1984年秋，在中國科學技術大學研究生院(yuan)開設(she)數(shu)學機械(xie)化(hua)機器證明理論的課程。
1990年8月，成立中(zhong)國科學(xue)院系(xi)統科學(xue)研究所(suo)數學(xue)機械化研究中(zhong)心(xin)，并任中(zhong)心(xin)主任；同年，獲第(di)三世界(jie)科學(xue)院數學(xue)獎。
1992年，任(ren)國家(jia)(jia)科委(wei)攀登項目(mu)“機器證明及(ji)其應(ying)用”專家(jia)(jia)委(wei)員會首(shou)席(xi)科學家(jia)(jia)；同年8月，去奧地利參加(jia)AAGR，對RISC研究(jiu)所進行學術(shu)訪(fang)問。
1993年3月，隨(sui)科學家代表團(tuan)訪問(wen)臺(tai)灣(wan)。
1995年5月(yue)，接受香(xiang)港城市(shi)大(da)學(xue)名譽博(bo)士學(xue)位(wei)；同年12月(yue)，去新加(jia)坡參加(jia)第一屆亞(ya)洲數學(xue)科技會(hui)議，作(zuo)大(da)會(hui)報告“幾何問(wen)題求解及其現實(shi)意義”。
1996年(nian)，任國家科委(wei)攀(pan)登項目(mu)“數學機械化及其應(ying)用”專家委(wei)員(yuan)會首席(xi)科學家。
1997年4月，西安(an)交(jiao)通大學101周(zhou)年校(xiao)慶(qing)紀念(nian)暨面向(xiang)21世紀發展戰略研討會隆重召開，吳文俊學長專程來到母校(xiao)參加研討會，并受聘為母校(xiao)名(ming)譽教授。
1998年(nian)，將1997年(nian)以來關于數學機械(xie)化的工作總(zong)結(jie)成書(shu)(shu)，書(shu)(shu)名(ming)為Mathematics Mechanization：Geometry Theorem Proving，Geometry Problem-Solving and Polynomial Equation-Solving將由(you)科(ke)學出版社(she)出版。
1999年(nian)10月21日(ri)，被聘(pin)為華(hua)中理工(gong)大(da)學名譽教授；同年(nian)11月6日(ri)，參加(jia)在廣(guang)州舉行的紀(ji)念關肇直(zhi)先生八十誕辰的學術研討會(hui)。
1999年12月(yue)15日－20日，去德國訪問，參加國際數學(xue)家(jia)大會。
2001年2月(yue)19日，獲(huo)首屆國家(jia)最高科學技(ji)術獎，時(shi)任(ren)國家(jia)主席江澤民親(qin)自為(wei)吳文俊頒(ban)獎。
2002年6月(yue)，在清華為(wei)祝(zhu)賀楊振寧(ning)80壽辰而舉行(xing)的(de)國際學(xue)術會議“Frontiers of Science”上(shang)作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”。
2003年11月19日，在中(zhong)國智能(neng)學會(hui)2003全(quan)國學術(shu)大(da)會(hui)、可(ke)拓學創(chuang)立(li)20年慶祝大(da)會(hui)、中(zhong)韓智能(neng)系統(tong)學術(shu)研討會(hui)上作“計算機時代腦力機械(xie)化與科學技術(shu)現代化”報告。
2005年9月26日，被聘為中國石(shi)油(you)大學(xue)（華東）榮(rong)譽教(jiao)授。
2006年4月25日至28日，到安(an)(an)徽(hui)(hui)省馬鞍山市和蕪湖(hu)市進行了考察(cha)，參觀了安(an)(an)徽(hui)(hui)工業大學(xue)、馬鋼第一(yi)鋼軋(ya)總廠、安(an)(an)徽(hui)(hui)華(hua)東光(guang)電(dian)研究(jiu)所、奇瑞公司等單位，并(bing)受聘為安(an)(an)徽(hui)(hui)工業大學(xue)榮譽教授。
2009年，西(xi)安交通大(da)學授(shou)予吳文(wen)俊等(deng)5位校友(you)“西(xi)安交通大(da)學最受崇敬校友(you)”榮譽稱號。
2017年(nian)5月7日7時21分(fen)，吳(wu)文俊因病(bing)醫治(zhi)無效，在北京(jing)不幸去世(shi)，享(xiang)年(nian)98歲。
在拓撲學方面的貢獻
拓(tuo)撲學(xue)是現代數(shu)學(xue)的(de)(de)(de)支柱(zhu)之一，也是許多數(shu)學(xue)分支的(de)(de)(de)基礎(chu)。吳文俊從1946年開(kai)始研究(jiu)拓(tuo)撲學(xue)， 1974年后轉向(xiang)中國數(shu)學(xue)史研究(jiu)，30年中在拓(tuo)撲學(xue)領(ling)域取得了一系(xi)列(lie)重大成果(guo)，其中最著名的(de)(de)(de)是“吳示性類”與(yu)“吳示嵌類”的(de)(de)(de)引入以及(ji)“吳公式”的(de)(de)(de)建立。
示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)是刻畫(hua)流形(xing)與(yu)纖維叢的(de)(de)(de)(de)(de)基本不變量， 1940年后(hou)開始起步研究(jiu)(jiu)瑞士的(de)(de)(de)(de)(de)Stiefel，美(mei)國的(de)(de)(de)(de)(de)Whitney，前蘇(su)聯的(de)(de)(de)(de)(de)Pontrjagin和陳(chen)省身等著名數學(xue)(xue)家(jia)先后(hou)從(cong)(cong)不同角度引入(ru)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)的(de)(de)(de)(de)(de)概念(nian)(nian)，但大都是描述(shu)性(xing)(xing)(xing)(xing)的(de)(de)(de)(de)(de)。吳(wu)(wu)文(wen)(wen)俊將(jiang)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)概念(nian)(nian)從(cong)(cong)繁化(hua)簡，從(cong)(cong)難變易，形(xing)成了(le)系(xi)(xi)統的(de)(de)(de)(de)(de)理(li)(li)論。他(ta)分(fen)析了(le)Stiefel示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)，Whitney示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)Pontrjagin示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)和陳(chen)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)之間(jian)的(de)(de)(de)(de)(de)關系(xi)(xi)，指出(chu)(chu)陳(chen)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)可以導出(chu)(chu)其(qi)他(ta)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)，反之則不成立。他(ta)在示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)研究(jiu)(jiu)中(zhong)還引入(ru)了(le)新的(de)(de)(de)(de)(de)方法(fa)和手段.在微分(fen)情形(xing)，吳(wu)(wu)文(wen)(wen)俊引出(chu)(chu)了(le)一類(lei)(lei)(lei)(lei)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)，被(bei)(bei)稱為吳(wu)(wu)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)。它不但是抽(chou)述(shu)性(xing)(xing)(xing)(xing)的(de)(de)(de)(de)(de)抽(chou)象概念(nian)(nian)，而且是可具體(ti)計(ji)算(suan)的(de)(de)(de)(de)(de)。吳(wu)(wu)文(wen)(wen)俊給(gei)出(chu)(chu)了(le)Stiefel示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)和Whitney示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)可由吳(wu)(wu)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)明(ming)確表示(shi)(shi)(shi)(shi)(shi)(shi)的(de)(de)(de)(de)(de)公式，被(bei)(bei)稱為是吳(wu)(wu)（第(di)一）公式，他(ta)證明(ming)了(le)示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)之間(jian)的(de)(de)(de)(de)(de)關系(xi)(xi)式，被(bei)(bei)稱為吳(wu)(wu)（第(di)二）公式。這些公式給(gei)出(chu)(chu)各種示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)之間(jian)的(de)(de)(de)(de)(de)關系(xi)(xi)與(yu)計(ji)算(suan)方法(fa)，從(cong)(cong)而導致一系(xi)(xi)列重要應用，使示(shi)(shi)(shi)(shi)(shi)(shi)性(xing)(xing)(xing)(xing)類(lei)(lei)(lei)(lei)理(li)(li)論成為拓撲(pu)學(xue)(xue)中(zhong)完美(mei)的(de)(de)(de)(de)(de)一章。
拓(tuo)撲的(de)(de)(de)嵌入理(li)論(lun)(lun)是研究(jiu)復(fu)雜幾(ji)何體在(zai)歐氏空間的(de)(de)(de)實現問題。在(zai)吳(wu)文(wen)俊之前，嵌入理(li)論(lun)(lun)只(zhi)有零散的(de)(de)(de)結(jie)果，吳(wu)文(wen)俊提出了(le)(le)吳(wu)示(shi)嵌類(lei)等一系列拓(tuo)撲不變量，研究(jiu)了(le)(le)嵌入理(li)論(lun)(lun)的(de)(de)(de)核心，并由此發展了(le)(le)嵌入的(de)(de)(de)統一理(li)論(lun)(lun)。后來他將關于(yu)示(shi)嵌類(lei)的(de)(de)(de)成果用于(yu)電路(lu)布(bu)線問題，給出線性圖平(ping)面嵌入的(de)(de)(de)新判定(ding)準(zhun)則，與(yu)以往(wang)的(de)(de)(de)判定(ding)準(zhun)則在(zai)性質上(shang)是完(wan)全不同的(de)(de)(de)，是可計算的(de)(de)(de)。
在(zai)拓撲(pu)學(xue)研究中，吳文(wen)俊起到了(le)承前啟后的(de)作(zuo)用(yong)，極大(da)地(di)推(tui)進了(le)拓撲(pu)學(xue)的(de)發展，引發了(le)大(da)量的(de)后續研究，他的(de)工作(zuo)也已經成(cheng)為拓撲(pu)學(xue)的(de)經典結果，半(ban)個世紀(ji)以來一直(zhi)發揮著重(zhong)要作(zuo)用(yong)，在(zai)許多數學(xue)領域中應用(yong)，成(cheng)為教科(ke)書中的(de)定(ding)理(li)。
在數學機械化方面的貢獻
中(zhong)(zhong)(zhong)國(guo)傳統數(shu)(shu)學(xue)強調構造性和(he)(he)算法(fa)化(hua)(hua)，注(zhu)意解決科學(xue)實(shi)驗和(he)(he)生產實(shi)踐中(zhong)(zhong)(zhong)提出(chu)的(de)(de)各(ge)類問題，往往把(ba)所(suo)得到(dao)的(de)(de)結論(lun)以各(ge)種原理(li)的(de)(de)形(xing)式予以表述(shu)。吳(wu)文(wen)俊把(ba)中(zhong)(zhong)(zhong)國(guo)傳統數(shu)(shu)學(xue)的(de)(de)思(si)想(xiang)(xiang)概(gai)括為機(ji)械(xie)(xie)化(hua)(hua)思(si)想(xiang)(xiang)，指出(chu)它(ta)是貫穿于中(zhong)(zhong)(zhong)國(guo)古代數(shu)(shu)學(xue)的(de)(de)精髓。吳(wu)列舉大量事實(shi)說明，中(zhong)(zhong)(zhong)國(guo)傳統數(shu)(shu)學(xue)的(de)(de)機(ji)械(xie)(xie)化(hua)(hua)思(si)想(xiang)(xiang)為近代數(shu)(shu)學(xue)的(de)(de)建立和(he)(he)發展(zhan)做出(chu)了不可磨滅的(de)(de)貢獻。1986年吳(wu)文(wen)俊第二次被邀請到(dao)國(guo)際數(shu)(shu)學(xue)家大會介紹這一發現。
20世紀70年(nian)代(dai)(dai)(dai)，吳(wu)(wu)文(wen)(wen)俊曾在(zai)(zai)計(ji)算(suan)機(ji)(ji)工(gong)(gong)廠(chang)勞動，切(qie)身體(ti)會到(dao)計(ji)算(suan)機(ji)(ji)的(de)(de)(de)(de)(de)(de)(de)巨(ju)(ju)大(da)威力(li)(li)(li)，敏銳地(di)覺察(cha)到(dao)計(ji)算(suan)機(ji)(ji)的(de)(de)(de)(de)(de)(de)(de)極大(da)發(fa)(fa)展(zhan)潛力(li)(li)(li)。他(ta)認(ren)為(wei)(wei)(wei)，計(ji)算(suan)機(ji)(ji)作為(wei)(wei)(wei)新的(de)(de)(de)(de)(de)(de)(de)工(gong)(gong)具必將大(da)范圍地(di)介入到(dao)數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)研究(jiu)(jiu)中(zhong)(zhong)(zhong)來(lai)，使數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)家的(de)(de)(de)(de)(de)(de)(de)聰明(ming)(ming)才(cai)智(zhi)得(de)到(dao)盡情發(fa)(fa)揮。由此(ci)得(de)出(chu)(chu)(chu)結論，中(zhong)(zhong)(zhong)國傳統數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)(de)(de)機(ji)(ji)械(xie)化(hua)思(si)想與(yu)(yu)現(xian)(xian)代(dai)(dai)(dai)計(ji)算(suan)機(ji)(ji)科(ke)(ke)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)是(shi)相通的(de)(de)(de)(de)(de)(de)(de)。計(ji)算(suan)機(ji)(ji)的(de)(de)(de)(de)(de)(de)(de)飛速(su)發(fa)(fa)展(zhan)必將使中(zhong)(zhong)(zhong)國傳統數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)(de)(de)機(ji)(ji)械(xie)化(hua)思(si)想得(de)以發(fa)(fa)揚光大(da)，機(ji)(ji)械(xie)化(hua)數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)(de)(de)發(fa)(fa)展(zhan)必將為(wei)(wei)(wei)中(zhong)(zhong)(zhong)國數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)(de)(de)發(fa)(fa)展(zhan)做(zuo)出(chu)(chu)(chu)巨(ju)(ju)大(da)貢(gong)獻(xian)。已故程(cheng)民(min)德(de)院(yuan)士(shi)認(ren)為(wei)(wei)(wei)：吳(wu)(wu)文(wen)(wen)俊倡導數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)機(ji)(ji)械(xie)化(hua)，是(shi)從數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)科(ke)(ke)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)發(fa)(fa)展(zhan)的(de)(de)(de)(de)(de)(de)(de)戰略高(gao)度(du)提出(chu)(chu)(chu)的(de)(de)(de)(de)(de)(de)(de)一(yi)種(zhong)構(gou)想。數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)機(ji)(ji)械(xie)化(hua)的(de)(de)(de)(de)(de)(de)(de)實現(xian)(xian)，將對(dui)中(zhong)(zhong)(zhong)國數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)的(de)(de)(de)(de)(de)(de)(de)振興乃(nai)至復(fu)興做(zuo)出(chu)(chu)(chu)巨(ju)(ju)大(da)貢(gong)獻(xian)。吳(wu)(wu)文(wen)(wen)俊身體(ti)力(li)(li)(li)行(xing)，在(zai)(zai)數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)機(ji)(ji)械(xie)化(hua)的(de)(de)(de)(de)(de)(de)(de)征(zheng)途上(shang)奮勇攀(pan)登。在(zai)(zai)機(ji)(ji)器證(zheng)(zheng)明(ming)(ming)方(fang)(fang)面，他(ta)提出(chu)(chu)(chu)的(de)(de)(de)(de)(de)(de)(de)用(yong)計(ji)算(suan)機(ji)(ji)證(zheng)(zheng)明(ming)(ming)幾(ji)(ji)(ji)何定(ding)(ding)理(li)的(de)(de)(de)(de)(de)(de)(de)方(fang)(fang)法(fa)(fa)（國際上(shang)稱(cheng)為(wei)(wei)(wei)吳(wu)(wu)方(fang)(fang)法(fa)(fa)），遵循(xun)中(zhong)(zhong)(zhong)國傳統數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)中(zhong)(zhong)(zhong)幾(ji)(ji)(ji)何代(dai)(dai)(dai)數(shu)(shu)化(hua)的(de)(de)(de)(de)(de)(de)(de)思(si)想，與(yu)(yu)通常基于(yu)邏輯的(de)(de)(de)(de)(de)(de)(de)方(fang)(fang)法(fa)(fa)根本不同，首次實現(xian)(xian)了(le)高(gao)效的(de)(de)(de)(de)(de)(de)(de)幾(ji)(ji)(ji)何定(ding)(ding)理(li)自(zi)動證(zheng)(zheng)明(ming)(ming)，顯現(xian)(xian)了(le)無比的(de)(de)(de)(de)(de)(de)(de)優越(yue)性(xing)。他(ta)的(de)(de)(de)(de)(de)(de)(de)工(gong)(gong)作被稱(cheng)為(wei)(wei)(wei)自(zi)動推(tui)(tui)(tui)理(li)領(ling)域的(de)(de)(de)(de)(de)(de)(de)先(xian)驅性(xing)工(gong)(gong)作，并于(yu)1997年(nian)獲得(de)“Herbrand自(zi)動推(tui)(tui)(tui)理(li)杰出(chu)(chu)(chu)成(cheng)(cheng)就獎”。在(zai)(zai)授獎辭中(zhong)(zhong)(zhong)對(dui)他(ta)的(de)(de)(de)(de)(de)(de)(de)工(gong)(gong)作給(gei)了(le)這(zhe)樣的(de)(de)(de)(de)(de)(de)(de)介紹與(yu)(yu)評(ping)價(jia)：“幾(ji)(ji)(ji)何定(ding)(ding)理(li)自(zi)動證(zheng)(zheng)明(ming)(ming)首先(xian)由赫伯特格蘭特（HerbertGerlenter）于(yu)50年(nian)代(dai)(dai)(dai)開始研究(jiu)(jiu)。雖然得(de)到(dao)一(yi)些有意(yi)義(yi)的(de)(de)(de)(de)(de)(de)(de)結果，但在(zai)(zai)吳(wu)(wu)方(fang)(fang)法(fa)(fa)出(chu)(chu)(chu)現(xian)(xian)之(zhi)(zhi)前(qian)的(de)(de)(de)(de)(de)(de)(de)20年(nian)里，這(zhe)一(yi)領(ling)域進展(zhan)甚微(wei)。”吳(wu)(wu)文(wen)(wen)俊的(de)(de)(de)(de)(de)(de)(de)工(gong)(gong)作“不僅(jin)限于(yu)幾(ji)(ji)(ji)何，他(ta)還(huan)給(gei)出(chu)(chu)(chu)了(le)由開普勒定(ding)(ding)律推(tui)(tui)(tui)導牛(niu)頓定(ding)(ding)律，化(hua)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)平衡問題與(yu)(yu)機(ji)(ji)器人問題的(de)(de)(de)(de)(de)(de)(de)自(zi)動證(zheng)(zheng)明(ming)(ming)。他(ta)將幾(ji)(ji)(ji)何定(ding)(ding)理(li)證(zheng)(zheng)明(ming)(ming)從一(yi)個不太成(cheng)(cheng)功(gong)的(de)(de)(de)(de)(de)(de)(de)領(ling)域變為(wei)(wei)(wei)最(zui)成(cheng)(cheng)功(gong)的(de)(de)(de)(de)(de)(de)(de)領(ling)域之(zhi)(zhi)一(yi)。”在(zai)(zai)非線性(xing)方(fang)(fang)程(cheng)組(zu)(zu)求解的(de)(de)(de)(de)(de)(de)(de)方(fang)(fang)向上(shang)，他(ta)建(jian)立的(de)(de)(de)(de)(de)(de)(de)吳(wu)(wu)消(xiao)元法(fa)(fa)是(shi)求解代(dai)(dai)(dai)數(shu)(shu)方(fang)(fang)程(cheng)組(zu)(zu)最(zui)完整的(de)(de)(de)(de)(de)(de)(de)方(fang)(fang)法(fa)(fa)之(zhi)(zhi)一(yi)，是(shi)數(shu)(shu)學(xue)(xue)(xue)(xue)(xue)(xue)(xue)(xue)機(ji)(ji)械(xie)化(hua)研究(jiu)(jiu)的(de)(de)(de)(de)(de)(de)(de)核心。80年(nian)代(dai)(dai)(dai)末，他(ta)將這(zhe)一(yi)方(fang)(fang)法(fa)(fa)推(tui)(tui)(tui)廣到(dao)偏(pian)微(wei)分代(dai)(dai)(dai)數(shu)(shu)方(fang)(fang)程(cheng)組(zu)(zu)。他(ta)還(huan)給(gei)出(chu)(chu)(chu)了(le)多元多項式組(zu)(zu)的(de)(de)(de)(de)(de)(de)(de)零點(dian)結構(gou)定(ding)(ding)理(li)，這(zhe)是(shi)構(gou)造(zao)性(xing)代(dai)(dai)(dai)數(shu)(shu)幾(ji)(ji)(ji)何的(de)(de)(de)(de)(de)(de)(de)重要(yao)標志。
吳(wu)(wu)文俊特別重(zhong)視(shi)數(shu)(shu)學機(ji)(ji)械(xie)(xie)化(hua)方(fang)法(fa)(fa)(fa)的(de)(de)(de)(de)應(ying)用(yong)(yong)，明(ming)確提出(chu)“數(shu)(shu)學機(ji)(ji)械(xie)(xie)化(hua)方(fang)法(fa)(fa)(fa)的(de)(de)(de)(de)成功(gong)應(ying)用(yong)(yong)，是數(shu)(shu)學機(ji)(ji)械(xie)(xie)化(hua)研(yan)究(jiu)(jiu)的(de)(de)(de)(de)生命(ming)線(xian)。”他不斷開拓新的(de)(de)(de)(de)應(ying)用(yong)(yong)領(ling)(ling)域，如控制論、曲面拼接問題、機(ji)(ji)構(gou)設計(ji)、化(hua)學平衡問題、平面天體(ti)運行的(de)(de)(de)(de)中(zhong)(zhong)(zhong)(zhong)心構(gou)形(xing)等(deng)，還建立了解(jie)決(jue)全局(ju)優化(hua)問題的(de)(de)(de)(de)新方(fang)法(fa)(fa)(fa)。他的(de)(de)(de)(de)開拓性成果(guo)(guo)，導(dao)致了大量的(de)(de)(de)(de)后(hou)續性工作。吳(wu)(wu)消元法(fa)(fa)(fa)還被用(yong)(yong)于(yu)若干高科技領(ling)(ling)域，得到一(yi)系列國(guo)(guo)(guo)際領(ling)(ling)先的(de)(de)(de)(de)成果(guo)(guo)，包括曲面造型(xing)、機(ji)(ji)器人結構(gou)的(de)(de)(de)(de)位(wei)置分析(xi)、智能計(ji)算(suan)機(ji)(ji)輔助設計(ji)（CAD）、信(xin)息傳輸中(zhong)(zhong)(zhong)(zhong)的(de)(de)(de)(de)圖像壓縮等(deng)。數(shu)(shu)學機(ji)(ji)械(xie)(xie)化(hua)研(yan)究(jiu)(jiu)是由中(zhong)(zhong)(zhong)(zhong)國(guo)(guo)(guo)數(shu)(shu)學家(jia)開創的(de)(de)(de)(de)研(yan)究(jiu)(jiu)領(ling)(ling)域，并(bing)引起國(guo)(guo)(guo)外(wai)數(shu)(shu)學家(jia)的(de)(de)(de)(de)高度重(zhong)視(shi)。吳(wu)(wu)方(fang)法(fa)(fa)(fa)傳到國(guo)(guo)(guo)外(wai)后(hou)，一(yi)些著名學府和研(yan)究(jiu)(jiu)結構(gou)，如Ox-ford，INRIA，Cornell等(deng)，紛紛舉辦研(yan)討(tao)會介紹和學習吳(wu)(wu)方(fang)法(fa)(fa)(fa)。國(guo)(guo)(guo)際自(zi)動推理雜志JAR與美國(guo)(guo)(guo)數(shu)(shu)學會的(de)(de)(de)(de)“現代(dai)數(shu)(shu)學”，破(po)例全文轉載吳(wu)(wu)文俊的(de)(de)(de)(de)兩(liang)篇論文。美國(guo)(guo)(guo)人工智能協(xie)會前主(zhu)席(xi)W.Bledsoe等(deng)人主(zhu)動寫信(xin)給中(zhong)(zhong)(zhong)(zhong)國(guo)(guo)(guo)主(zhu)管科技的(de)(de)(de)(de)領(ling)(ling)導(dao)人，稱贊(zan)“吳(wu)(wu)關(guan)于(yu)平面幾何定理自(zi)動證明(ming)的(de)(de)(de)(de)工作是一(yi)流的(de)(de)(de)(de)。他獨自(zi)使中(zhong)(zhong)(zhong)(zhong)國(guo)(guo)(guo)在(zai)該領(ling)(ling)域進入國(guo)(guo)(guo)際領(ling)(ling)先地位(wei)”。
在中國數學史方面的貢獻
1974年以(yi)后，吳(wu)文(wen)俊(jun)開始研究(jiu)中國(guo)(guo)(guo)數(shu)學(xue)(xue)史。作(zuo)為一位有戰(zhan)略眼光的(de)數(shu)學(xue)(xue)家，他(ta)一直(zhi)在(zai)思索(suo)數(shu)學(xue)(xue)應該怎樣發展(zhan)，并終于在(zai)對中國(guo)(guo)(guo)數(shu)學(xue)(xue)史的(de)研究(jiu)中得到啟發。中國(guo)(guo)(guo)古(gu)代數(shu)學(xue)(xue)曾高度發展(zhan)，直(zhi)到14世紀，在(zai)許多領域都處(chu)于國(guo)(guo)(guo)際領先地位，是(shi)名符其實的(de)數(shu)學(xue)(xue)強國(guo)(guo)(guo)。但西方學(xue)(xue)者不了解(jie)也不承認中國(guo)(guo)(guo)古(gu)代數(shu)學(xue)(xue)的(de)光輝成就，將其排斥在(zai)數(shu)學(xue)(xue)主流之外。吳(wu)文(wen)俊(jun)的(de)研究(jiu)起(qi)到了正(zheng)本清源的(de)作(zuo)用。他(ta)指出，中國(guo)(guo)(guo)傳統數(shu)學(xue)(xue)注意解(jie)方程(cheng)，在(zai)代數(shu)學(xue)(xue)、幾何學(xue)(xue)、極限(xian)概念等(deng)方面既(ji)有豐碩的(de)成果(guo)，又有系(xi)統的(de)理論。
劉(liu)徽于公元(yuan)263年作《九章(zhang)算術注》，把原見于《周髀(bi)算經(jing)》中(zhong)測日高(gao)的(de)(de)(de)方法擴張為一般的(de)(de)(de)測望之學——重(zhong)差(cha)術，附于勾股(gu)章(zhang)之后。唐代把重(zhong)差(cha)術這部分與九章(zhang)分離，改稱為《海島(dao)算經(jing)》，原作有(you)注有(you)圖，但已失傳(chuan).現(xian)存《海島(dao)算經(jing)》只(zhi)剩9題，其中(zhong)包括劉(liu)徽給(gei)出(chu)的(de)(de)(de)兩個(ge)關于海島(dao)的(de)(de)(de)基本公式(shi)，但沒有(you)證明(ming)(ming)。后人多次給(gei)出(chu)公式(shi)證明(ming)(ming)并力(li)求(qiu)復原劉(liu)徽原意。吳文俊研究后來的(de)(de)(de)各(ge)種補證后，認為這些論證并不符合中(zhong)國古代幾何學的(de)(de)(de)原意，尤其是西算傳(chuan)入后，用(yong)西方數學中(zhong)添加平行線或代數方法甚至(zhi)三角函數來證明(ming)(ming)是完(wan)全錯誤(wu)的(de)(de)(de)。針對這些證明(ming)(ming)，他明(ming)(ming)確提出(chu)數學史研究的(de)(de)(de)兩條基本原理(li)：
所有結論應該(gai)從僥幸留傳至今的(de)原(yuan)始文獻中得出來。
所有結論應(ying)按照古(gu)人當時(shi)的思路去推理，也就(jiu)是(shi)只能用當時(shi)已知的知識和(he)利用當時(shi)用到的輔助工具，而應(ying)該避(bi)開古(gu)代文獻中完全沒有的東西(xi)。
根(gen)據這兩條忠于(yu)(yu)歷(li)史事實的(de)(de)(de)原則，吳(wu)(wu)文俊對于(yu)(yu)《海(hai)島算(suan)(suan)經》中的(de)(de)(de)公式(shi)證(zheng)明作了(le)合理(li)(li)的(de)(de)(de)復原，他(ta)認為(wei)重差理(li)(li)論(lun)來源于(yu)(yu)《周(zhou)髀算(suan)(suan)經》，其證(zheng)明基于(yu)(yu)相(xiang)似(si)勾股形的(de)(de)(de)命題或(huo)與(yu)之等價的(de)(de)(de)出(chu)入相(xiang)補原理(li)(li)。他(ta)指出(chu)中國(guo)有自己獨立的(de)(de)(de)度(du)量幾(ji)何學理(li)(li)論(lun)，完全(quan)借(jie)助于(yu)(yu)西方歐幾(ji)里得體系是很難解釋通的(de)(de)(de)。吳(wu)(wu)文俊在(zai)研究包(bao)括(kuo)《海(hai)島算(suan)(suan)經》在(zai)內(nei)的(de)(de)(de)劉徽著作的(de)(de)(de)基礎上，把劉徽常(chang)用(yong)的(de)(de)(de)方法概括(kuo)為(wei)“出(chu)入相(xiang)補原理(li)(li)”，這個(ge)原理(li)(li)的(de)(de)(de)表述十分簡單(dan)：一個(ge)圖形不論(lun)是平面還是立體的(de)(de)(de)，都可以切割成有限多塊(kuai)(kuai)，這有限多塊(kuai)(kuai)經過移動再組合成另一圖形，則后一圖形的(de)(de)(de)面積或(huo)體積保(bao)持(chi)不變。這個(ge)常(chang)識性的(de)(de)(de)原理(li)(li)在(zai)中國(guo)古算(suan)(suan)中經過巧(qiao)妙運用(yong)得出(chu)許多意(yi)想不到(dao)的(de)(de)(de)結果。出(chu)入相(xiang)補原理(li)(li)的(de)(de)(de)提出(chu)是吳(wu)(wu)文俊在(zai)中國(guo)數學史研究中的(de)(de)(de)一項重要成果。
據2015年12月中國科學技(ji)術(shu)信(xin)息(xi)研究(jiu)(jiu)所(suo)、國家(jia)工程技(ji)術(shu)數字研究(jiu)(jiu)館信(xin)息(xi)顯示，吳文(wen)俊院士在1993到2004年共培養了4名博士研究(jiu)(jiu)生。
1956
首屆國(guo)家自然科學一(yi)等獎
因(yin)拓撲學中的示性類(lei)及示嵌(qian)類(lei)的成(cheng)就獲獎
1978
全國科學大會獎
1979
中國(guo)科學(xue)院自然科學(xue)一等(deng)獎(jiang)
1990
第(di)三世界(jie)科學(xue)院數(shu)學(xue)獎
1993
陳嘉庚(geng)數理科學獎
1994
首屆香港求是科技基(ji)金會杰(jie)出科學家獎
長期以來(lai)，吳老站在數學科(ke)學的(de)前沿，潛(qian)心研究(jiu)，勇于探(tan)索，取得了(le)一系列
原(yuan)(yuan)創性(xing)成(cheng)就，特(te)別是在拓撲學、數學機械化(hua)領(ling)域作出(chu)(chu)了杰出(chu)(chu)貢獻，為國(guo)家、為民族爭了光。（原(yuan)(yuan)中(zhong)(zhong)共中(zhong)(zhong)央總書記、國(guo)家主席胡錦濤評(ping)）
辛(xin)勤的努力和杰出的貢(gong)獻(xian)，獲得(de)了國(guo)際學(xue)術(shu)界(jie)的廣泛認可，為我國(guo)科技界(jie)爭(zheng)得(de)了榮譽，也(ye)為青年學(xue)者(zhe)樹立了榜樣(yang)。（中國(guo)科學(xue)院原院長路甬(yong)祥(xiang)評）
天(tian)資(zi)聰慧，有數(shu)(shu)學(xue)天(tian)賦。是一(yi)位杰出的數(shu)(shu)學(xue)家(jia)(jia)，他的工(gong)作表現出豐富的想象力及獨創性。他從事數(shu)(shu)學(xue)教研(yan)工(gong)作，數(shu)(shu)十年如一(yi)日(ri)，貢獻(xian)卓著……（數(shu)(shu)學(xue)家(jia)(jia)、中國科學(xue)院外籍院士陳省身評）
