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