中評社北京5月7日電／中國科學院數學與系統科學研究院7日發佈訃告稱，中國著名數學家、中國科學院院士、首屆國家最高科技獎得主吳文俊因病醫治無效，於2017年5月7日7時21分在北京逝世，享年98歲。
吳文俊1919年出生於上海，1940年本科畢業於上海交通大學，1949年獲法國國家博士學位，1951年回國，先後在北京大學、中科院數學所、中科院系統所、中科院數學與系統科學研究院任職。他曾任中國數學會理事長、中科院數理學部主任、全國政協常委、2002年國際數學家大會主席、中國科學院系統所名譽所長，1957年當選為中科院學部委員（院士）。
吳文俊對數學的主要領域——拓撲學作出了重大貢獻。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導出的示性類之間的關係式被稱為“吳公式”，是上世紀五十年代前後拓撲學的重大突破之一，成為影響深遠的經典性成果。上世紀七十年代後期，他開創了嶄新的數學機械化領域，提出了用計算機證明幾何定理的“吳方法”，被認為是自動推理領域的先驅性工作。他是中國最具國際影響的數學家之一，其工作對數學與計算機科學研究影響深遠。
吳文俊曾獲得首屆國家最高科技獎（2000年）、首屆國家自然科學一等獎（1956年）、首屆求是傑出科學家獎（1994年）、邵逸夫數學獎（2006年）、國際自動推理最高獎——埃爾布朗自動推理傑出成就獎（1997年）等。 |
