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