國家最高科技獎得主吳文俊逝世 享年98歲

　　中國科學院數(shù)學與系統(tǒng)科學研究院今天發(fā)布訃告稱，首屆國家最高科技獎獲得者、著名數(shù)學家吳文俊院士因病醫(yī)治無效，于2017年5月7日7時21分在北京不幸去世，享年98歲。

　　吳文俊1919年5月12日出生于上海。1940年畢業(yè)于上海交通大學，1946年到中研院數(shù)學所工作。1947年赴法國斯特拉斯堡大學留學，1949年獲得法國國家博士學位，隨后在法國國家科學中心任研究員。新中國成立后，吳文俊于1951年回國，先后在北京大學，中國科學院數(shù)學研究所，中國科學院系統(tǒng)科學研究所、中國科學院數(shù)學與系統(tǒng)科學研究院任職。曾任中國數(shù)學會理事長、中國科學院數(shù)理學部主任、全國政協(xié)常委、2002年國際數(shù)學家大會主席，中國科學院系統(tǒng)所名譽所長。1957年當選為中國科學院學部委員（院士）。

　　吳文俊對數(shù)學的主要領域—拓撲學做出了重大貢獻。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導出的示性類之間的關系式被稱為“吳公式”。他的工作是1950年代前后拓撲學的重大突破之一，成為影響深遠的經(jīng)典性成果。1970年代后期，他開創(chuàng)了嶄新的數(shù)學機械化領域，提出了用計算機證明幾何定理的“吳方法”，被認為是自動推理領域的先驅(qū)性工作。他是我國最具國際影響的數(shù)學家之一，他的工作對數(shù)學與計算機科學研究影響深遠。

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