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