智能 | #10 康托尔对角线与停机悖论

文章预览

 文 | HW君  系列文章： 智能 | #0 人工智能的哲学原理 智能 | #1 在神经网络之前 智能 | #2 人工智能的三种流派 智能 | #3 可计算性，在图灵机之前 智能 | #4 通用计算机的起源 智能 | #5 一进制图灵机 智能 | #6 扩展二进制图灵机 智能 | #7 编码第N号图灵机 智能 | #8 通用图灵机 智能 | #9 图灵停机问题 本文目录：      0.  前言      1.  遍历停机数列      2.  康托尔对角线      3.  方程悖论      4.  结语 0. 前言 为了回答希尔伯特的 判定问题 ，图灵构造了图灵机理论，并将 判定问题 重新描述为图灵机的形式，即 图灵停机问题 。 图灵停机问题仍然有一些比较复杂的细节需要讨论，理解它有助于我们更好地理解同为图灵机的人工智能的局限性。 同样的如果觉得吃力，可以适当跳过。   1. 遍历停机数列 在《 智能 | #9 图灵停机问题 》中我们介绍了， ………………………………