中国著名数学家吴文俊病逝　享年98岁

中国著名数学家吴文俊今晨在北京病逝，享年98岁。 中国科学院数学与系统科学研究院发布讣告，指首届国家最高科技奖获得者、著名数学家吴文俊因病医治无效，于今晨7时21分在北京去世，享年98岁。 吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学，1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。吴文俊于1951年回国，先后在北京大学，中国科学院数学研究所，中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席，中国科学院系统所名誉所长。1957年当选为中国科学院学部委员（院士）。 吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为「吴示性类」和「吴示嵌类」，他导出的示性类之间的关系式被称为「吴公式」。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创崭新数学机械化领域，提出用计算机证明几何定理的「吴方法」，被认为是自动推理领域的先驱性工作。 吴文俊曾获首届国家最高科技奖、首届国家自然科学一等奖、首届求是杰出科学家奖、邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖。