享誉世界的数学家——吴文俊

• 作者: 史继
• 来源期刊: 党员干部之友
• 学科: 历史
• 关键词: 吴文俊 拓扑学 数学机械化 机器证明 国际数学家大会 示性类 计算机 中国数学史 机器定理证明 吴消元法
• 年，卷（期）: 2002,（3）
• 页码范围: 18-19
• 页数: 2页
• 分类号: K826.11

摘要

他的研究成果遍布于拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等各个领域,其中主要体现在拓扑学和数学机械化两个领域; 他在被称为“现代数学的女王”——拓扑学研究领域里取得的一系列奠基性研究成果,被冠之于“吴示性类”、“吴示嵌类”而享誉国内外,被称为“拓扑学的地震”,数学界公认,在拓扑学的研究中,他起到了承前启后的作用; 他受计算机与古代传统数学的启发,形成了初等几何定理的机械化证明的思想,在国际机器证明领域产生巨大的影响,开创了机器定理证明的时代,被国际上称为“吴文俊方法”和“吴消元法”; 他的许多成就正被应用于若干高科技领域;已取得一系列国际领先的成果,在他的带领和影响下,形成了一支高水平的数学机械化研究队伍,在国际上被称为“吴学派”。