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