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