該圖片由注冊用戶"氤氳少女"提供，版權聲明反饋

人物簡介

中文名：吳文俊

外文名(ming)：Wu Wen-tsün

國 籍：中國

民 族：漢族

出生地：上海

出生日期：1919年5月12日

逝(shi)世日期：2017年5月(yue)7日

職 業：數學家

畢業院(yuan)校：交通大學(xue)、斯特(te)拉斯堡(bao)大學(xue)

代表作品：《幾(ji)何定理的機械化(hua)證明》《數(shu)學機械化(hua)》

人物履歷

1936年 吳(wu)文俊被保(bao)送至交通大(da)學(xue)數學(xue)系。

1940-1945年 先(xian)后在育英中學、培真中學、南(nan)洋模范女中、之江大學教書。

1946年初 到上(shang)海臨時(shi)大學(xue)任(ren)鄭太(tai)樸教授的(de)助手；同年8月，陳省身吸收吳文俊到數學(xue)所任(ren)助理研究員。

1947年(nian)(nian) 完成(cheng)一項重要拓撲學研究(jiu)，證明Whitney乘(cheng)積公式和對偶定理。1948年(nian)(nian) 在(zai)Annalsof Math上發表；同年(nian)(nian)10月 由于成(cheng)績斐然，他經推(tui)薦(jian)去歐洲(zhou)，到巴黎留學，在(zai)Strassbourg大學跟(gen)隨C.Ehresmann學習。

1949年(nian) 吳(wu)文俊(jun)去蘇黎世訪問，獲得法國國家博士學位；同年(nian)秋(qiu)天，應H·嘉當邀請入巴(ba)黎法國國家科學研究中心工作。

1948年 開始參加(jia)CNRS研究工作初任Attaché de recherches，1951年升(sheng)為(wei)Changé de Recherches。

1949年(nian) 完成“論(lun)(lun)球叢空間結(jie)構的(de)示(shi)性(xing)類”的(de)博士論(lun)(lun)文，論(lun)(lun)文于1952年(nian)單(dan)行本(ben)發表。

1950年 與(yu)Thom合(he)作發表關于流形上Stiefel-Whitney示性類(lei)的論文(wen)，后通稱為吳(wu)類(lei)與(yu)吳(wu)公式。

1951年8月 回到中國，在北(bei)京大學數學系任教授(shou)。

1952年10月 到(dao)新建(jian)數學(xue)研究(jiu)所任(ren)研究(jiu)員(yuan)。

1956年 赴蘇聯參(can)加全(quan)蘇第(di)三屆數學家(jia)大會做(zuo)Pontrjagin示性類報告，受到(dao)好(hao)評。

1958年 到剛(gang)剛(gang)成立的中國科學(xue)技術大學(xue)授課(ke)。

1958年期間(jian) 曾赴巴黎大(da)學講課(ke)系統介紹示嵌類(lei)的工作(zuo)，對于Haefliger等(deng)人(ren)有很大(da)影響(xiang)。

1960年-1965年 負責中國科(ke)學(xue)(xue)技術大學(xue)(xue)數(shu)學(xue)(xue)系第三屆學(xue)(xue)生負責人。

1967年 完(wan)成“示嵌類理(li)論(lun)在布線問題上的(de)應用(yong)”。

1982年 中國科(ke)學技術大學主持(chi)首批博士生(sheng)畢業(ye)答辯。

1984年秋(qiu) 在中國科學(xue)技術大學(xue)研究生(sheng)院(yuan)開(kai)設數學(xue)機械(xie)化機器證(zheng)明理論(lun)的課程。

1990年8月 成立中國科學(xue)院系統科學(xue)研(yan)究所數學(xue)機械化研(yan)究中心，并任(ren)中心主(zhu)任(ren)；同年，獲第三(san)世界科學(xue)院數學(xue)獎。

1992年(nian) 任國家(jia)科委(wei)(wei)攀登項目(mu)“機(ji)器證明(ming)及其應(ying)用(yong)”專家(jia)委(wei)(wei)員會首席(xi)科學家(jia)；同年(nian)8月，去奧地利參加(jia)AAGR，對(dui)RISC研究所進行學術訪問。

1993年3月 隨科學(xue)家代表團訪(fang)問臺灣。

1996年 任國家(jia)科委(wei)攀登項目“數學(xue)機械(xie)化(hua)及其(qi)應用”專家(jia)委(wei)員(yuan)會首(shou)席科學(xue)家(jia)。

1997年4月 西安交通大(da)學(xue)101周年校(xiao)慶紀念暨(ji)面向21世紀發展戰略研(yan)討會隆(long)重召開，吳文(wen)俊(jun)學(xue)長專(zhuan)程(cheng)來到母校(xiao)參加研(yan)討會，并受聘(pin)為母校(xiao)名(ming)譽(yu)教授。

1999年(nian)12月15日-0日 去德國訪問，參加國際數學家大會。

2001年(nian)2月19日(ri) 獲首(shou)屆國家最(zui)高科學(xue)技術(shu)獎，時任(ren)國家主席(xi)江澤民(min)親自為(wei)吳文俊(jun)頒獎。

2003年(nian)11月19日 在中國(guo)智能學會(hui)(hui)2003全國(guo)學術(shu)大會(hui)(hui)、可拓(tuo)學創立20年(nian)慶祝大會(hui)(hui)、中韓(han)智能系(xi)統學術(shu)研討會(hui)(hui)上(shang)作“計算機(ji)時(shi)代腦力機(ji)械化與科學技術(shu)現代化”報(bao)告。

2005年9月(yue)26日 被聘(pin)為中國石油大學榮譽(yu)教(jiao)授。

2006年4月25日(ri)至28日(ri) 到安徽省馬鞍山市(shi)和蕪湖市(shi)進行了考(kao)察，參(can)觀(guan)了安徽工業大(da)學、馬鋼第一(yi)鋼軋總廠、安徽華東光電(dian)研(yan)究所、奇(qi)瑞公(gong)司(si)等單位，并(bing)受聘(pin)為安徽工業大(da)學榮譽(yu)教授(shou)。

2009年 西(xi)安(an)交(jiao)通(tong)大學授予(yu)吳文俊等5位校友(you)“西(xi)安(an)交(jiao)通(tong)大學最(zui)受崇敬(jing)校友(you)”榮譽(yu)稱號(hao)。

2017年5月(yue)7日7時21分 吳(wu)文(wen)俊因病(bing)醫治無效(xiao)，在北京不幸去世(shi)，享年98歲。

榮譽成就

首屆(jie)國家自(zi)然科學(xue)一等獎(jiang)

1978 全國科(ke)學大會(hui)獎

1979 中國科學院自然科學一等獎

1990 第三世界科學院數學獎

1993 陳嘉庚數理(li)科學獎(jiang)

1994 首(shou)屆(jie)香港求(qiu)是科技(ji)基金(jin)會杰(jie)出科學家(jia)獎

1997 Herbrand自動推理杰(jie)出成就獎

2000 國(guo)家最高(gao)科學技術獎

2006 第三屆邵逸夫數學獎

2009 上海交通(tong)大(da)學首屆“杰出校友終身(shen)成(cheng)就獎”