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

人物簡介

中文名：吳文俊

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

國 籍：中國

民 族：漢族

出生地：上海

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

逝世日期：2017年5月7日

職 業：數學家

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

代(dai)表作(zuo)品：《幾何定理的機械化證(zheng)明(ming)》《數(shu)學機械化》

人物履歷

1936年 吳(wu)文俊被(bei)保送至(zhi)交通(tong)大學數學系(xi)。

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

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

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

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

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

1949年(nian) 完(wan)成(cheng)“論球叢空間結構的示性類(lei)”的博士論文(wen)，論文(wen)于(yu)1952年(nian)單(dan)行(xing)本發(fa)表(biao)。

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

1951年(nian)8月(yue) 回到中國，在(zai)北京大學數學系(xi)任(ren)教(jiao)授(shou)。

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

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

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

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

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

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

1982年 中國(guo)科學(xue)技術(shu)大(da)學(xue)主持(chi)首(shou)批博士生畢(bi)業答辯。

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

1990年8月 成立(li)中(zhong)(zhong)國科學院(yuan)系統(tong)科學研究所數學機械化(hua)研究中(zhong)(zhong)心，并任中(zhong)(zhong)心主任；同(tong)年，獲第三世(shi)界科學院(yuan)數學獎。

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

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

1996年 任國家(jia)科(ke)委攀(pan)登項(xiang)目(mu)“數學機械化(hua)及其(qi)應用”專家(jia)委員會首席(xi)科(ke)學家(jia)。

1997年(nian)4月 西安交通大(da)學101周年(nian)校(xiao)慶紀(ji)(ji)念暨面向21世紀(ji)(ji)發展戰(zhan)略研討會隆重召開，吳文俊學長專(zhuan)程來(lai)到母(mu)校(xiao)參加研討會，并(bing)受(shou)聘為母(mu)校(xiao)名譽教授(shou)。

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

2001年2月19日(ri) 獲首屆(jie)國家最(zui)高科學技(ji)術獎，時任國家主席(xi)江澤(ze)民親自為吳文俊頒獎。

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

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

2006年4月25日至28日 到(dao)安徽(hui)省(sheng)馬鞍山市和蕪湖(hu)市進行了(le)考察，參觀了(le)安徽(hui)工業(ye)大(da)學(xue)(xue)、馬鋼第(di)一鋼軋總廠、安徽(hui)華東光(guang)電研究所(suo)、奇瑞公司等單位，并(bing)受聘為安徽(hui)工業(ye)大(da)學(xue)(xue)榮譽教授。

2009年 西(xi)安交通大學(xue)授予吳(wu)文(wen)俊等(deng)5位(wei)校友“西(xi)安交通大學(xue)最(zui)受崇敬校友”榮(rong)譽稱號。

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

榮譽成就

首(shou)屆國家自然科(ke)學一(yi)等獎

1978 全國(guo)科學(xue)大(da)會(hui)獎

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

1990 第三世界科學(xue)院數學(xue)獎(jiang)

1993 陳嘉庚數理科學獎

1994 首屆香港求是科(ke)技基金(jin)會杰出科(ke)學家獎(jiang)

1997 Herbrand自動推理杰出成就獎

2000 國家最高科學技術獎

2006 第三屆邵逸夫數學獎

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