中國著名數學家吳文俊病逝　享年98歲

中國著名數學家吳文俊今晨在北京病逝，享年98歲。 中國科學院數學與系統科學研究院發布訃告，指首屆國家最高科技獎獲得者、著名數學家吳文俊因病醫治無效，於今晨7時21分在北京去世，享年98歲。 吳文俊1919年5月12日出生於上海。1940年畢業於上海交通大學，1946年到中研院數學所工作。1947年赴法國斯特拉斯堡大學留學，1949年獲得法國國家博士學位，隨後在法國國家科學中心任研究員。吳文俊於1951年回國，先後在北京大學，中國科學院數學研究所，中國科學院系統科學研究所、中國科學院數學與系統科學研究院任職。曾任中國數學會理事長、中國科學院數理學部主任、全國政協常委、2002年國際數學家大會主席，中國科學院系統所名譽所長。1957年當選為中國科學院學部委員（院士）。 吳文俊對數學的主要領域—拓撲學做出了重大貢獻。他引進的示性類和示嵌類被稱為「吳示性類」和「吳示嵌類」，他導出的示性類之間的關係式被稱為「吳公式」。他的工作是1950年代前後拓撲學的重大突破之一，成為影響深遠的經典性成果。1970年代後期，他開創嶄新數學機械化領域，提出用計算機證明幾何定理的「吳方法」，被認為是自動推理領域的先驅性工作。 吳文俊曾獲首屆國家最高科技獎、首屆國家自然科學一等獎、首屆求是傑出科學家獎、邵逸夫數學獎、國際自動推理最高獎Herbrand自動推理傑出成就獎。