2017年5月7日(農(nóng)歷2017年4月12日)，中國(guó)科學(xué)院院士吳文俊去世。著名數(shù)學(xué)家吳文俊2017年5月7日，著名數(shù)學(xué)家、中國(guó)科學(xué)院院士、首屆國(guó)家自然科學(xué)一等獎(jiǎng)、首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)、邵逸夫數(shù)學(xué)獎(jiǎng)得主吳文俊先生在北京醫(yī)院去世，享年98歲。吳文俊(1919年5月12日-2017年5月7日)，浙江嘉興人，出生于上海，畢業(yè)于交通大學(xué)，是中國(guó)著名的數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個(gè)領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國(guó)際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國(guó)際同行廣泛引用。吳文俊現(xiàn)在是中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)，1997年獲自動(dòng)推理領(lǐng)域最高獎(jiǎng)HerbrandAward，2006年獲邵逸夫獎(jiǎng)數(shù)學(xué)科學(xué)獎(jiǎng)。編號(hào)第7683號(hào)小行星被永久命名為“吳文俊星”。2017年5月7日7時(shí)21分，吳文俊在北京不幸去世，享年98歲。吳文俊生平介紹吳文俊是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，他對(duì)數(shù)學(xué)的核心領(lǐng)域拓?fù)鋵W(xué)做出了重大貢獻(xiàn)、開創(chuàng)了數(shù)學(xué)機(jī)械化新領(lǐng)域，對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。吳文俊1919年出生于上海，1940年本科畢業(yè)于上海交通大學(xué)，1946年在中央研究院數(shù)學(xué)所工作、在陳省身先生指導(dǎo)下開始從事拓?fù)鋵W(xué)研究，1947年赴法留學(xué)，師從埃里斯曼與嘉當(dāng)，1949年畢業(yè)于法國(guó)斯特拉斯堡大學(xué)，獲得法國(guó)國(guó)家博士學(xué)位，隨后在法國(guó)國(guó)家科學(xué)中心任研究員。新中國(guó)成立后，吳文俊于1951年回國(guó)工作，先在北京大學(xué)數(shù)學(xué)系任教授，1952年到中國(guó)科學(xué)院數(shù)學(xué)研究所任研究員，直到1980年轉(zhuǎn)入中國(guó)科學(xué)院系統(tǒng)科學(xué)所，1998年轉(zhuǎn)入新成立的中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院。他曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)(1985-1987)，中國(guó)科學(xué)院數(shù)理學(xué)部主任(1992-1994)，全國(guó)政協(xié)委員、常委(1979-1998)，2002年國(guó)際數(shù)學(xué)家大會(huì)主席，1993年開始任中國(guó)科學(xué)院系統(tǒng)所名譽(yù)所長(zhǎng)。從1946年到1951年，吳文俊主要從事施蒂費(fèi)爾-惠特尼示性類的研究工作；從1953年到1957年，他主要從事龐特里亞金示性類的研究工作。其后，吳文俊轉(zhuǎn)向示嵌類的研究。由于他在拓?fù)鋵W(xué)示性類及示嵌類方面的杰出工作，吳文俊獲1956年國(guó)家首屆自然科學(xué)一等獎(jiǎng)，并于1957年增選為中國(guó)科學(xué)院學(xué)部委員(院士)。1958年吳文俊被邀請(qǐng)到國(guó)際數(shù)學(xué)家大會(huì)作分組報(bào)告(因故未能成行)。1976年，吳文俊在中國(guó)古算研究的基礎(chǔ)上，開拓了機(jī)械化數(shù)學(xué)的嶄新領(lǐng)域。1986年吳文俊被邀請(qǐng)到國(guó)際數(shù)學(xué)家大會(huì)作分組報(bào)告，1990年榮獲第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)，1993年獲陳嘉庚數(shù)理科學(xué)獎(jiǎng)，1994年獲首屆香港求是杰出科學(xué)家獎(jiǎng)，1997年獲得國(guó)際自動(dòng)推理最高獎(jiǎng)厄布朗(Herbrand)自動(dòng)推理杰出成就獎(jiǎng)。年輕的吳文俊在討論班上吳文俊院士在做學(xué)術(shù)報(bào)告嚴(yán)濟(jì)慈、吳文俊、馬大猷、錢臨照、楊海波和少年班學(xué)生在一起