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

人物簡介

中文名：吳文俊

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

國 籍：中國

民 族：漢族

出生地：上海

出生日期：1919年5月12日

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

職 業：數學家

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

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

人物履歷

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2009年 西安(an)(an)交通大(da)學授予(yu)吳文俊等5位校友“西安(an)(an)交通大(da)學最(zui)受崇(chong)敬(jing)校友”榮譽稱號。

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

榮譽成就

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

1978 全國科學大(da)會獎

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

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

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

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

1997 Herbrand自動推理杰出成就獎

2000 國家最(zui)高科學(xue)技(ji)術獎(jiang)

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

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