复旦大学数学科学学院-吴文俊先生治丧办公室.PDF

唁电 吴文俊先生治丧办公室： 惊闻中国共产党优秀党员、国际著名数学家、中国科学院院士、 首届国家最高科技奖获得者、中国科学院数学与系统科学研究院研究 员吴文俊先生逝世,复旦大学数学科学学院全体师生万分悲痛,并表示 深切哀悼! 吴文俊先生是国际著名数学家, 对数学的主要领域—拓扑学做出 了重大贡献。他引进的示性类和示嵌类被称为 “吴示性类”和 “吴示 嵌类”，他导出的示性类之间的关系式被称为 “吴公式”。他的工作 是1950年代前后拓扑学的重大成就之一，成为影响深远的经典性成果。 1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证 明几何定理的 “吴方法”，被公认为是自动推理领域的先驱性工作。他 是我国最具国际影响的数学家之一，他的工作对数学与计算机科学的 发展影响深远。 吴文俊先生具有强烈的爱国心，于1951年放弃在国外的优越条件， 回到祖国参加社会主义建设,并通过自己的科研工作为我国经济社会 的发展和科技事业做出了卓越贡献。他是我们学习的楷模,他的逝世是 我国科技事业的重大损失，也是数学事业的重大损失。复旦大学数学 科学学院师生永远怀念他！ 吴文俊先生永垂不朽！ 复旦大学数学科学学院 2017-05-08