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

人物簡介

中文名：吳文俊

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

國 籍：中國

民 族：漢族

出生地：上海

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

逝世日期：2017年5月7日

職 業：數學家

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

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

人物履歷

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

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

1946年(nian)(nian)初 到上海(hai)臨時大(da)學任鄭太樸教授的助手；同(tong)年(nian)(nian)8月，陳省(sheng)身(shen)吸收(shou)吳文俊(jun)到數(shu)學所任助理(li)研究員。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2001年2月(yue)19日(ri) 獲首屆國家最高科(ke)學技(ji)術獎，時任(ren)國家主席江(jiang)澤民親自(zi)為吳文(wen)俊頒獎。

2003年11月19日(ri) 在中(zhong)國智能(neng)學會(hui)2003全國學術大會(hui)、可拓(tuo)學創立20年慶(qing)祝大會(hui)、中(zhong)韓智能(neng)系統學術研討(tao)會(hui)上作(zuo)“計算機(ji)時代腦力機(ji)械(xie)化與科(ke)學技術現(xian)代化”報告。

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

2006年4月25日至28日 到安(an)徽省馬鞍山市和(he)蕪湖市進(jin)行了考察(cha)，參(can)觀了安(an)徽工(gong)業大學、馬鋼(gang)第(di)一鋼(gang)軋(ya)總(zong)廠、安(an)徽華(hua)東光電研究所、奇(qi)瑞公司等單位，并受聘為安(an)徽工(gong)業大學榮譽教(jiao)授。

2009年 西安(an)交通(tong)大學(xue)授予(yu)吳文俊(jun)等5位(wei)校友“西安(an)交通(tong)大學(xue)最(zui)受(shou)崇敬校友”榮(rong)譽稱(cheng)號(hao)。

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

榮譽成就

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

1978 全國科(ke)學大會獎

1979 中國科(ke)學院自然(ran)科(ke)學一(yi)等獎

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

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

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

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

2000 國家最高科(ke)學技術(shu)獎

2006 第三(san)屆邵逸夫(fu)數學獎

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