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

人物簡介

中文名：吳文俊

外文名：Wu Wen-tsün

國 籍：中國

民 族：漢族

出生地：上海

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

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

職 業：數學家

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

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

人物履歷

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

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

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

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

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

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

1949年 完(wan)成(cheng)“論球叢空間結構(gou)的(de)(de)示性(xing)類”的(de)(de)博士論文，論文于1952年單行本發表。

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

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

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

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

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

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

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

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

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

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

1990年(nian)8月(yue) 成立(li)中國(guo)科(ke)學(xue)院系統科(ke)學(xue)研究(jiu)所數學(xue)機(ji)械化研究(jiu)中心(xin)(xin)，并(bing)任(ren)中心(xin)(xin)主任(ren)；同(tong)年(nian)，獲第三世界(jie)科(ke)學(xue)院數學(xue)獎。

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

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

1996年(nian) 任國家科委(wei)攀(pan)登(deng)項目“數學機械化及其應用”專(zhuan)家委(wei)員(yuan)會首席科學家。

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

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

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

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

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

2006年4月25日至28日 到安徽省馬鞍山市(shi)和(he)蕪湖市(shi)進行(xing)了考察，參觀了安徽工業(ye)大學、馬鋼(gang)第一鋼(gang)軋總廠、安徽華(hua)東光電研究(jiu)所、奇瑞公司等(deng)單位，并受聘(pin)為安徽工業(ye)大學榮(rong)譽教授。

2009年 西安交(jiao)通大(da)學授予吳文俊等(deng)5位校(xiao)友(you)(you)“西安交(jiao)通大(da)學最受崇敬校(xiao)友(you)(you)”榮譽稱號(hao)。

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

榮譽成就

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

1978 全國科學大會獎(jiang)

1979 中國(guo)科學院自(zi)然科學一(yi)等獎

1990 第三世界(jie)科學院(yuan)數學獎

1993 陳嘉庚數理科學獎

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

1997 Herbrand自動(dong)推(tui)理杰出(chu)成就獎

2000 國家最高科學技術獎

2006 第三屆邵逸夫數學獎

2009 上(shang)海(hai)交(jiao)通大(da)學首(shou)屆“杰(jie)出校友終(zhong)身成就獎”