院、数学研究所全体师生员工深感震惊,为失去这样一位德.PDFVIP

唁 函 惊悉吴文俊先生于2017年5月7 日不幸去世。噩耗传来，吉林大学数学学 院、数学研究所全体师生员工深感震惊，为失去这样一位德高望重的数学家感到 深切悲痛。 吴文俊先生是我国最具国际影响的数学家之一，他的工作对数学与计算机科 学研究影响深远。曾获首届国家自然科学一等奖，第三世界科学院数学奖，陈嘉 庚数理科学奖，首届香港求是科技基金会杰出科学家奖，Herbrand 自动推理杰 出成就奖，2001年获首届国家最高科学技术奖，第三届邵逸夫数学奖。 斯人已去，永留心中。吴文俊先生在拓扑学、自动推理、机器证明、代数几 何、中国数学史、对策论等领域有杰出贡献。他引进的示性类和示嵌类被称为“吴 示性类”和 “吴示嵌类”，他导出的示性类之间的关系式被称为 “吴公式”。他的 工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970 年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴 方法”，被认为是自动推理领域的先驱性工作。 作为誉满海内外的学界泰斗、科坛精英，吴文俊2001年9月受聘为吉林大 学名誉教授，成为吉大数学师生不断进取的精神力量和源泉，对吉林大学数学学 科所做的贡献，我们会永远铭记，他留给吉林大学数学学科孜孜以求、矢志不移， 教书育人、提携后进等方面的宝贵精神财富，让我们永远学习！ 吴文俊先生安息，一路走好！ 吉林大学数学学院 吉林大学数学研究所 2017年5月8 日