吴文俊：不朽的数学人生，照耀人工智能发展之路.md

2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生，了解成就：吴类（拓扑学示性类及示嵌类）和吴公式，古代数学的算法和可计算性分析，开创崭新的**数学机械化**领域，提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境，没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不包含初等数论，所以是完备的。吴文俊先生为了弘扬中国数学构造性算法化的传统，将数学（特别是代数几何）与计算机科学相结合，开创了机器几何定理证明的方向，只手擎天地推动了**数学机械化**的发展。列举的两个应用例子，可以大略知晓基于吴方法的自动几何定理定理证明大致步骤，机器人路径规划一类的逆向运动学问题（inverse kinematics）所需要求解的多项式方程组可以使用吴方法。吴方法属于人工智能的符号主义流派。吴方法为人工智能的**符号计算**提供了**坚实的理论基础和高效的算法**，特别是**算法的每一步骤都可以被人类透彻理解**，它**代表了智能中严密清晰的逻辑思维层面**，和**连接主义中概率模糊的感性直觉层面互补**。