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

人物簡介

中文名：吳文俊

外文名：Wu Wen-tsün

國 籍：中國

民 族：漢族

出生地：上海

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

逝世日期：2017年5月7日

職 業：數學家

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

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

人物履歷

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

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

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

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

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

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

1949年 完成“論(lun)球叢(cong)空間(jian)結構的(de)示性類”的(de)博士(shi)論(lun)文(wen)，論(lun)文(wen)于(yu)1952年單行本發(fa)表。

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

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

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

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

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

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

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

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

1982年(nian) 中(zhong)國科(ke)學(xue)技(ji)術大學(xue)主持首批博(bo)士生(sheng)畢業答(da)辯。

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

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

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

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

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

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

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

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

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

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

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

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

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

榮譽成就

首屆(jie)國家(jia)自(zi)然科(ke)學一等(deng)獎

1978 全國科學大會獎(jiang)

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

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

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

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

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

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

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

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