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

人物簡介

中文名：吳文俊

外文名：Wu Wen-tsün

國 籍：中國

民 族：漢族

出生地：上海

出生日(ri)期：1919年5月(yue)12日(ri)

逝世日期(qi)：2017年(nian)5月7日

職 業：數學家

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

代(dai)表(biao)作品：《幾何(he)定理的機械(xie)化(hua)證(zheng)明》《數學(xue)機械(xie)化(hua)》

人物履歷

1936年 吳文俊被(bei)保送(song)至交(jiao)通大學數學系。

1940-1945年 先后(hou)在育(yu)英(ying)中(zhong)(zhong)(zhong)學、培(pei)真(zhen)中(zhong)(zhong)(zhong)學、南洋模范女中(zhong)(zhong)(zhong)、之江大學教書。

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

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

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

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

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

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

1951年8月(yue) 回到(dao)中國(guo)，在(zai)北京(jing)大學數學系任教授。

1952年10月(yue) 到新建數學研(yan)究(jiu)(jiu)所任研(yan)究(jiu)(jiu)員。

1956年 赴蘇聯參加全(quan)蘇第三屆數(shu)學家大(da)會(hui)做Pontrjagin示性類報告(gao)，受到好評。

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

1958年(nian)期間 曾赴巴(ba)黎(li)大學講(jiang)課系統介紹示嵌類的(de)工作(zuo)，對于Haefliger等(deng)人有很大影響。

1960年-1965年 負(fu)責中國(guo)科學技術大學數學系(xi)第三屆學生負(fu)責人(ren)。

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

1982年 中國科學(xue)技術大學(xue)主(zhu)持首批博士生畢業答辯。

1984年秋(qiu) 在中國科學技(ji)術(shu)大學研(yan)究生院開設數學機械化機器證明理論的(de)課(ke)程。

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

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

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

1996年 任國家科(ke)委(wei)(wei)攀登項(xiang)目“數(shu)學機(ji)械化及(ji)其應(ying)用(yong)”專家委(wei)(wei)員會首席(xi)科(ke)學家。

1997年4月 西安(an)交(jiao)通大學(xue)(xue)101周年校(xiao)(xiao)慶紀念暨面(mian)向21世紀發展戰略研討會隆重召開，吳(wu)文(wen)俊(jun)學(xue)(xue)長(chang)專程來到(dao)母校(xiao)(xiao)參加研討會，并受聘為母校(xiao)(xiao)名譽教(jiao)授。

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

2001年2月19日 獲首屆國(guo)家(jia)最高(gao)科學(xue)技術獎(jiang)，時任國(guo)家(jia)主席江澤民(min)親(qin)自為吳文(wen)俊頒獎(jiang)。

2003年(nian)11月19日(ri) 在中國智能學會2003全(quan)國學術大會、可拓學創立(li)20年(nian)慶祝大會、中韓智能系統學術研討(tao)會上作“計算機(ji)時代(dai)腦力機(ji)械化(hua)與科學技(ji)術現代(dai)化(hua)”報告。

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

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

2009年 西安交通(tong)大學(xue)授予(yu)吳(wu)文俊等5位校(xiao)友(you)“西安交通(tong)大學(xue)最受崇敬校(xiao)友(you)”榮譽稱(cheng)號。

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

榮譽成就

首屆國(guo)家自然科學一等獎

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

1979 中國科學(xue)院自然科學(xue)一等獎(jiang)

1990 第三世界科學院數學獎

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

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

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

2000 國家最高科學技術獎

2006 第三屆邵逸夫數學獎

2009 上海交通大學首(shou)屆“杰出(chu)校友終身成就獎”