中國教育在線
吳文俊(jun)，男，1919年(nian)5月出生于上海(hai)，1940年(nian)畢業于上海(hai)交(jiao)通大學(xue)數(shu)學(xue)系。2017年(nian)5月7日逝世(shi)。
1946年赴法(fa)國(guo)Strassbourg大學(xue)留(liu)學(xue)，獲博士(shi)學(xue)位。1957年被選(xuan)為中國(guo)科學(xue)院學(xue)部委員(院士(shi))。1990年被第三(san)世(shi)界科學(xue)院選(xuan)為院士(shi)。
1952年至1979年任中國(guo)科學(xue)院數學(xue)所(suo)(suo)副所(suo)(suo)長、研(yan)究(jiu)員。1979年至現在任中國(guo)科學(xue)院系統科學(xue)研(yan)究(jiu)所(suo)(suo)副所(suo)(suo)長、名譽所(suo)(suo)長、研(yan)究(jiu)員。
吳文(wen)俊(jun)院士是著名的(de)(de)數學家，他的(de)(de)研究(jiu)工(gong)作(zuo)(zuo)涉(she)及到數學的(de)(de)諸多(duo)領域(yu)。在多(duo)年的(de)(de)研究(jiu)中取得了(le)豐碩成果。其主要(yao)成就(jiu)表現在拓撲學和數學機械(xie)化兩個(ge)領域(yu)。他為拓撲學做了(le)奠基(ji)性(xing)的(de)(de)工(gong)作(zuo)(zuo)。他的(de)(de)示(shi)性(xing)類(lei)和示(shi)嵌類(lei)研究(jiu)被(bei)國際(ji)數學界稱為“吳公式”，“吳示(shi)性(xing)類(lei)”，“吳示(shi)嵌類(lei)”，至今(jin)仍被(bei)國際(ji)同行廣(guang)泛(fan)引用，影(ying)響深遠，享譽世(shi)界。
70年代(dai)后期，在(zai)計算(suan)機技術大發(fa)展(zhan)的(de)背景下，他繼承(cheng)和發(fa)展(zhan)了中(zhong)國古代(dai)數(shu)學的(de)傳統(即算(suan)法(fa)化(hua)思(si)想)，轉而研究幾何(he)定理(li)的(de)機器(qi)證明，徹底改變了這個領域的(de)面貌，是國際自動推理(li)界(jie)先(xian)驅性的(de)工作，被(bei)稱(cheng)為“吳方法(fa)”，產生了巨大影響(xiang)。吳的(de)研究取得了一系(xi)列國際領先(xian)成果并已應用于國際上當前流(liu)行的(de)符(fu)號(hao)計算(suan)軟件方面。
吳文(wen)俊院(yuan)士(shi)熱愛祖國，有(you)高(gao)尚的(de)(de)科(ke)學(xue)道德(de)，是(shi)數學(xue)界(jie)德(de)高(gao)望重(zhong)的(de)(de)前輩，至今仍在數學(xue)機械化研究的(de)(de)第一線。在50多年的(de)(de)研究工作中(zhong)，始終站在數學(xue)領域的(de)(de)前沿，做出了原創性(xing)研究成果。在國際(ji)上產(chan)生了重(zhong)大影響(xiang)。
① 凡本站(zhan)注明(ming)“稿(gao)件來(lai)源：中(zhong)國教育在線”的所有(you)文字(zi)、圖片(pian)和音視頻稿(gao)件，版權均(jun)屬(shu)本網所有(you)，任何媒體、網站(zhan)或個人(ren)未(wei)經本網協(xie)議授權不得轉載(zai)、鏈接(jie)、轉貼(tie)或以其他方式復(fu)制發表。已經本站(zhan)協(xie)議授權的媒體、網站(zhan)，在下載(zai)使(shi)用時必須注明(ming)“稿(gao)件來(lai)源：中(zhong)國教育在線”，違者(zhe)本站(zhan)將依法追究責(ze)任。
② 本站注明稿件(jian)來(lai)(lai)源為其(qi)(qi)他媒體的(de)文/圖等(deng)稿件(jian)均為轉(zhuan)(zhuan)載稿，本站轉(zhuan)(zhuan)載出于非商業性的(de)教(jiao)育和(he)科研(yan)之目的(de)，并不意味著(zhu)贊同(tong)其(qi)(qi)觀(guan)點或(huo)證實其(qi)(qi)內(nei)容的(de)真實性。如轉(zhuan)(zhuan)載稿涉及版(ban)權等(deng)問題，請作者(zhe)在兩周內(nei)速來(lai)(lai)電或(huo)來(lai)(lai)函(han)聯系。