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