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

人物簡介

中文名：吳文俊

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

國 籍：中國

民 族：漢族

出生地：上海

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

逝世日期：2017年5月7日

職 業：數學家

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

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

人物履歷

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

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

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

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

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

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

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

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

1951年8月(yue) 回(hui)到(dao)中(zhong)國，在北京(jing)大(da)學數(shu)學系任教授(shou)。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2003年11月19日 在中(zhong)國(guo)智(zhi)能(neng)學會2003全(quan)國(guo)學術(shu)大(da)會、可(ke)拓(tuo)學創立20年慶(qing)祝大(da)會、中(zhong)韓智(zhi)能(neng)系(xi)統(tong)學術(shu)研討會上作“計算機時代(dai)腦力機械化與科學技術(shu)現代(dai)化”報告(gao)。

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

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

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

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

榮譽成就

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

1978 全國科學大會獎

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

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

1993 陳嘉庚數理科學獎

1994 首屆(jie)香港(gang)求是科技(ji)基金會杰出科學(xue)家獎

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

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

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

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