人物簡介
中文名:吳文俊
外文名(ming):Wu Wen-tsün
國 籍:中國
民 族:漢族
出生地:上海
出生日期(qi):1919年(nian)5月12日
逝(shi)世日(ri)(ri)期:2017年5月7日(ri)(ri)
職 業:數學家
畢業院校:交通大(da)學、斯特拉斯堡大(da)學
代表(biao)作品:《幾何定(ding)理的機械(xie)化(hua)證明》《數學機械(xie)化(hua)》
人物履歷
1936年 吳文俊被(bei)保送至(zhi)交通大(da)學數學系。
1940-1945年 先(xian)后在育英中學(xue)、培真中學(xue)、南洋模(mo)范女中、之江大學(xue)教書。
1946年初(chu) 到上海臨時大(da)學(xue)任(ren)鄭太樸教授(shou)的助手;同(tong)年8月,陳省身吸收吳文俊到數學(xue)所任(ren)助理研究(jiu)員。
1947年(nian) 完成一項重要拓撲學研究,證明Whitney乘積(ji)公式(shi)和對偶(ou)定理。1948年(nian) 在Annalsof Math上發表;同年(nian)10月 由(you)于成績(ji)斐然,他經推薦去歐洲(zhou),到巴黎留學,在Strassbourg大學跟隨C.Ehresmann學習。
1949年 吳文俊去蘇黎世訪問,獲得法(fa)國國家博士學(xue)(xue)位;同年秋天,應H·嘉當(dang)邀請入巴黎法(fa)國國家科學(xue)(xue)研(yan)究中(zhong)心工(gong)作。
1948年(nian) 開始參加CNRS研究(jiu)工(gong)作初任Attaché de recherches,1951年(nian)升為Changé de Recherches。
1949年 完成“論(lun)球叢(cong)空(kong)間結構的示(shi)性類”的博士論(lun)文(wen),論(lun)文(wen)于(yu)1952年單行本發表(biao)。
1950年 與Thom合(he)作發表(biao)關于流形(xing)上Stiefel-Whitney示(shi)性類(lei)的論文(wen),后通稱為吳(wu)類(lei)與吳(wu)公式。
1951年(nian)8月(yue) 回(hui)到中國,在北京大學(xue)數學(xue)系任(ren)教授。
1952年10月 到新建數學(xue)研(yan)究所任研(yan)究員。
1956年 赴(fu)蘇聯參加全蘇第三屆數(shu)學家大會做Pontrjagin示性類報告,受(shou)到好評(ping)。
1958年 到剛剛成立的中國(guo)科學技術大(da)學授(shou)課。
1958年期間 曾赴巴黎大(da)學(xue)講課系統(tong)介(jie)紹示(shi)嵌類的工(gong)作,對于(yu)Haefliger等(deng)人有很(hen)大(da)影響。
1960年(nian)-1965年(nian) 負責中(zhong)國(guo)科學技(ji)術大學數學系第三(san)屆(jie)學生(sheng)負責人(ren)。
1967年 完成“示嵌類理論在布線問(wen)題上的應用”。
1982年 中國科學技術(shu)大(da)學主持首批博士生畢(bi)業答辯。
1984年秋(qiu) 在中國科(ke)學(xue)(xue)技術大學(xue)(xue)研究(jiu)生院開設數(shu)學(xue)(xue)機械化機器證(zheng)明理論的課程。
1990年8月 成立中國科學(xue)(xue)院系統(tong)科學(xue)(xue)研究所數(shu)學(xue)(xue)機械(xie)化(hua)研究中心,并(bing)任(ren)中心主任(ren);同年,獲第(di)三(san)世界科學(xue)(xue)院數(shu)學(xue)(xue)獎(jiang)。
1992年 任國家(jia)科(ke)委(wei)攀登(deng)項目(mu)“機器(qi)證明及(ji)其(qi)應(ying)用”專家(jia)委(wei)員(yuan)會首席科(ke)學家(jia);同年8月,去奧地利(li)參加AAGR,對RISC研究所進行學術訪問。
1993年(nian)3月 隨科學家代表團訪問臺灣。
1996年(nian) 任國家(jia)科委(wei)攀登項目“數學機械化及其應用”專家(jia)委(wei)員會(hui)首席科學家(jia)。
1997年4月 西安交(jiao)通大學(xue)101周年校(xiao)慶紀(ji)念暨面向(xiang)21世紀(ji)發展(zhan)戰略研討(tao)會隆(long)重召開,吳文俊學(xue)長專程來到母校(xiao)參加研討(tao)會,并受聘為母校(xiao)名譽教(jiao)授(shou)。
1999年12月15日-0日 去德國(guo)訪問,參加國(guo)際數(shu)學家(jia)大會。
2001年2月19日 獲首屆國(guo)家最高科學技術獎,時任國(guo)家主(zhu)席江澤民(min)親自為(wei)吳文俊頒獎。
2003年11月19日 在中國(guo)智能(neng)(neng)學(xue)會(hui)2003全國(guo)學(xue)術(shu)大會(hui)、可拓(tuo)學(xue)創立20年慶祝大會(hui)、中韓(han)智能(neng)(neng)系統學(xue)術(shu)研討會(hui)上作(zuo)“計算機(ji)時代(dai)腦(nao)力(li)機(ji)械(xie)化與科學(xue)技術(shu)現代(dai)化”報告。
2005年9月26日(ri) 被聘為中(zhong)國石油大學榮譽教授。
2006年4月25日至28日 到安徽(hui)省馬(ma)鞍(an)山市和蕪湖市進(jin)行了(le)考察,參觀了(le)安徽(hui)工業大學(xue)、馬(ma)鋼(gang)第一鋼(gang)軋總(zong)廠、安徽(hui)華東光電研究所、奇瑞公(gong)司等(deng)單(dan)位(wei),并(bing)受(shou)聘為安徽(hui)工業大學(xue)榮譽教授。
2009年 西安交通大學授予(yu)吳文俊等5位校(xiao)友“西安交通大學最受崇敬校(xiao)友”榮譽稱號(hao)。
2017年5月7日7時21分 吳文俊(jun)因病醫治無效,在北京不(bu)幸去世,享年98歲。
榮譽成就
首屆(jie)國家自然科學(xue)一等(deng)獎(jiang)
1978 全國科(ke)學大(da)會獎
1979 中(zhong)國科(ke)學(xue)院自然科(ke)學(xue)一等獎
1990 第三世界科學院數(shu)學獎
1993 陳嘉庚數理科學獎
1994 首屆香港(gang)求是科技基金會杰出科學家獎
1997 Herbrand自動推(tui)理杰出成就(jiu)獎
2000 國家最高科學技術(shu)獎
2006 第(di)三屆邵(shao)逸夫(fu)數學(xue)獎
2009 上海交通大(da)學首屆“杰出校友終(zhong)身成(cheng)就獎”