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

2019.09.17中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生，了解成就：吴类（拓扑学示性类及示嵌类）和吴公式，古代数学的算法和可计算性分析，开创崭新的**数学机械化**领域，提出**用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。哥德尔的不完备性定理昭示了数学真理的探索永无止境，没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不包含初等数论，所以是完备的。吴文俊先生为了弘扬中国数学构造性算法化的传统，将数学（特别是代数几何）与计