1.1　哥德尔定理

哥德尔定理对许多专业学科的发展都起到了积极的推动作用，它使数学基础研究发生了划时代的变化，是现代逻辑史上一座很重要的里程碑，更是直接推动了“现代计算机之父”冯·诺依曼的现代计算机基本结构的诞生，并促进了“人工智能之父”图灵对机器的定义和图灵测试作为判断机器是否拥有人的智能方法的提出。可以说，哥德尔定理为人工智能的产生打下了坚实的基础，是学习人工智能的重要节点。想要步入人工智能的学习，首先要充分了解哥德尔定理的各个方面。