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