新華社北京5月7日電（記者董瑞豐）中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院7日發(fā)布訃告稱，我國著名數(shù)學(xué)家、中國科學(xué)院院士、首屆國家最高科技獎得主吳文俊因病醫(yī)治無效，于2017年5月7日7時21分在北京逝世，享年98歲。

吳文俊1919年出生于上海，1940年本科畢業(yè)于上海交通大學(xué)，1949年獲法國國家博士學(xué)位，1951年回國，先后在北京大學(xué)、中科院數(shù)學(xué)所、中科院系統(tǒng)所、中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院任職。他曾任中國數(shù)學(xué)會理事長、中科院數(shù)理學(xué)部主任、全國政協(xié)常委、2002年國際數(shù)學(xué)家大會主席、中國科學(xué)院系統(tǒng)所名譽(yù)所長，1957年當(dāng)選為中科院學(xué)部委員（院士）。

吳文俊對數(shù)學(xué)的主要領(lǐng)域——拓?fù)鋵W(xué)作出了重大貢獻(xiàn)。他引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”，是上世紀(jì)五十年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。上世紀(jì)七十年代后期，他開創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，提出了用計(jì)算機(jī)證明幾何定理的“吳方法”，被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作。他是我國最具國際影響的數(shù)學(xué)家之一，其工作對數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。

吳文俊曾獲得首屆國家最高科技獎（2000年）、首屆國家自然科學(xué)一等獎（1956年）、首屆求是杰出科學(xué)家獎（1994年）、邵逸夫數(shù)學(xué)獎（2006年）、國際自動推理最高獎——埃爾布朗自動推理杰出成就獎（1997年）等。