智能 | #3 可计算性，在图灵机之前

文章预览

 文 | HW君  系列文章： 智能 | #0 人工智能的哲学原理 智能 | #1 在神经网络之前 智能 | #2 人工智能的三种流派 本文目录： 0. 在图灵机之前 1. 罗素悖论与逻辑主义 2. 希尔伯特计划与形式主义 3. 哥德尔不完备定理 4. 丘奇-图灵论题 5. 可计算性与图灵机 0. 在图灵机之前 提起人工智能，人们经常会谈论「 图灵测试 」。 如果宣称某个AI程序非常厉害，常常会有类似「 某某AI程序通过了图灵测试 」的表述。   「 图灵测试 」是阿兰·图灵在1950年的论文《计算机与智能》中提出的一种测试人工智能的方法。 简单来说，如果人不能区分放在黑箱里的是人还是机器时，这台机器就应该被断定为有智能。   图灵在1936年发表的那篇极其重要的文章《论可计算的数》中提出了「 图灵机 」的概念，奠定了整个计算机科学与相关所有数学和哲学的基础。 当他在 ………………………………