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