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