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

人物簡介

中文名：吳文俊

外文名：Wu Wen-tsün

國 籍：中國

民 族：漢族

出生地：上海

出生日期：1919年5月12日

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

職 業：數學家

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

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

人物履歷

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1996年 任國(guo)家(jia)科委攀登項目(mu)“數學機械化及其應用”專家(jia)委員會(hui)首席科學家(jia)。

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

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

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

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

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

2006年4月25日(ri)至28日(ri) 到安徽省馬鞍山市(shi)和蕪湖市(shi)進行了考察，參觀(guan)了安徽工(gong)業(ye)大學(xue)、馬鋼第(di)一(yi)鋼軋總廠(chang)、安徽華(hua)東(dong)光電(dian)研究所、奇瑞公司(si)等(deng)單位，并受聘為安徽工(gong)業(ye)大學(xue)榮譽教(jiao)授。

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

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

榮譽成就

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

1978 全國科學(xue)大會獎

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

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

1993 陳嘉庚數理科學獎

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

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

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

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

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