首届国家最高科技奖得主吴文俊院士逝世.pdf

首届国家最高科技奖得主吴文俊院士逝世 来源：中国科学院数学与系统科学研究院 发布时间：2017/5/7 http://news.sciencenet.cn/htmlnews/2017/5/375539.shtm 中国共产党优秀党员、我国著名数学家、中国科学院院士、首届 国家最高科技奖获得者、中国科学院数学与系统科学研究院研究员吴 文俊先生因病医治无效，于 2017 年 5 月 7 日 7 时 21 分在北京不幸逝 世，享年 98 岁。 吴文俊 1919 年 5 月 12 日出生于上海。1940 年毕业于上海交通 大学，1946 年到中央研究院数学所工作。1947 年赴法国斯特拉斯堡 大学留学，1949 年获得法国国家博士学位，随后在法国国家科学中心 任研究员。新中国成立后，吴文俊于 1951 年回国，先后在北京大学、 中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学 研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全 国政协常委、2002 年国际数学家大会主席、中国科学院系统所名誉所 长。1957 年当选为中国科学院学部委员(院士)。 吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示 性类和示嵌类被称为“吴示性类”和“吴示嵌类” ，他导出的示性类 之间的关系式被称为“吴公式”。他的工作是 1950 年代前后拓扑学的 重大突破之一，成为影响深远的经典性成果。1970 年代后期，他开创 了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法” ， 被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学 家之一，他的工作对数学与计算机科学研究影响深远。 吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一 等奖(1956)、首届求是杰出科学家奖(1994)、有东方诺贝尔奖之称的 邵逸夫数学奖(2006)、国际自动推理最高奖 Herbrand 自动推理杰出 成就奖(1997)。他培养的许多学生已成为所在领域的领军人物。他建 立的数学机械化重点实验室是国际符号计算领域最主要的研究中心 之一。 吴文俊具有强烈的爱国心，于 1951 年放弃在法国的优越条件，回 到祖国参加社会主义建设。他对中国文化有着深刻的认识，并通过自 己的科研工作为复兴中国文化做出了重要贡献。