计算之魂-读书笔记-引子（下）

图灵机：计算的本质是机械运动

        我先对主要内容进行摘录，对比本科阶段的教材，作者在讲述计算机的发展历程时，总是带着本源的问题，与解题过程，结合时代背景与人物，让人能够回到过去时代背景下感受计算机的诞生与发展，这是我觉得超越教科书那种教条的死记硬背某些伟大人物的名字与历史事件，来得更精彩也更有趣味。也是第一次让我对图灵机有了真正的理解。回顾当下电子计算机的组成，你会震惊于他的伟大。

在20世纪30年代中期，图灵就开始思考下面三个非常根本的问题。

1. 数学问题是否都有明确答案。
2. 如果有明确答案，是否可以通过有限步的计算得到答案。
3. 对于那些有可能在有限步计算出来的数学问题，能否有一种假想的机器，它不断地运动，最后当它停下来的时候，那个数学问题就解决了。

图灵在读了 冯-诺依曼的《量子力学的数学基础》一书后很受启发，他认为人的意识基于不确定性原理，但是计算则基于机械运动（电子的运动可以被认为是等价于机械运动）。今天我们知道，前者代表不确定性，后者代表确定性，他们都是这个世界固有的特性。图灵很懂得在边界里做事情，他把注意力放到了解决那些能够通过机械运动解决的问题，即可计算问题上。

从根本之处出发，将数学作为一个整体思考。希尔伯特一直在思考这样三个问题。

1. 数学是完备的吗？
2. 数学是一致的吗？
3. 数学是可判定的吗？

希尔伯特的这三个问题，从本质上划定了数学边界。

        对比希尔伯特的三个疑问和图灵的三个疑问就可以看出：前者关心的是一个问题是否是数学问题，如果是，能否判定它有答案；而后者关心的则是，如果已经被判定它是数学问题，能否在有限的步骤内通过机械的方法找到答案。

        图灵将精力集中在那些能够在有限步计算出来的数学问题上。为此他设计了一种后来被称为图灵机的数学模型，这个模型的全部定义一共只有四条，用通俗的语言讲是这样的：

1. 要有一条（无限长的）被分成一个个格子的纸带，每个格子里记录着符号或数字。为了清楚起见，可以为这些格子编上号：1，2，3，...这就相当于人们计算数学题时使用的纸张。
2. 有一个读写头（可以想象成铅笔），在纸带上左右移动，它停在哪里就可以改变哪里的符号或者数字，这就相当于人们算题时写写画画的过程。
3. 有一套规则表，根据图灵机当前的状态和读写头所指格子中的符号或数字，人们查表后就能知道下一步该做什么。当然完成这步操作后，图灵机也就进入了新的状态。这张表就相当于老师教的算题方法，或者珠算口诀。
4. 当然，图灵机的状态需要记录在一个地方，即寄存器（里面的内容就相当于我们算题时的中间结果）。图灵机的状态数量是有限的，其中有一个特殊的状态是停机，一旦进入这个状态则表示计算完成。

图灵认为这种机器能模拟任何具体计算的过程，但并未指出如何实现这样的一台计算机。图灵机的意义至少有这样三个：

        首先，它将世界上的数学题分为两类：一类是可以用上述机器在有限步内完成计算的，当然这个“有限”可以非常长；另一类是不可以的。今天我们在计算机科学中说一个问题可不可以计算，不是指在数学上能否计算，而是指能否用图灵机这样一个简单的逻辑来计算。从这中间可以看出来，能用图灵机计算的问题，其实只是可计算数学问题的一小部分。

        其次，图灵机虽然是虚构的，但是他给后人设计计算机制定了一个行之有效的原则，特别是图灵提出了存储地址、计算机状态、规则表（即今天我们说的指令集）和当前位置读写头这四个重要概念。今天我们应用的真实计算机，依然建立在这些概念的基础之上。

        最后，图灵机求解数学问题的过程和机械运动对应起来了。今天的计算机可以理解成由很多能够被控制的开关构成，这些开关的运动和计算过程是对应的。也就是说，今天计算机的本质其实就是机械运动。

本小节，讲述了图灵机的本质，并且说明了图灵机的边界，即数学中有解问题中的一小部分，可用图灵机计算。

人工智能的极限

        无论是什么样的计算机，只能解决世界上很少的一部分问题。很多问题不是数学问题，这一点希尔伯特和库尔特-哥德尔等人已经证实了。 

        在数学领域，只有一部分问题我们能够判断是否存在答案，大部分问题是无法判断答案是否存在的。

        我们可以将数学问题中的一小部分看成可判定（是否有答案）的问题，而真正有答案的问题的数量则更少。

        在有答案的问题中，有一些是可以通过图灵解决的问题就是我们在前面说到的可计算问题。当然，图灵机是一种理想状态计算机，它所说的有限时间可以非常长，比如一万亿年，超过宇宙的年龄，因此现实生活中的计算机能解决的问题是可计算问题的一个小的子集。

        今天人工智能主要是指基于大数据深度学习。我们可以吧一个人工智能系统理解为由特定程序（控制指令序列）控制的、能够解决某一类问题的计算机。比如语音识别、无人驾驶、计算机自动翻译、下围棋或者象棋等，我们通常称之为人工智能可解问题，并没有超出图灵机可计算问题的范畴。事实上，他们只是工程可解问题的一个子集。无论怎么扩展，这个子集都不能超出可计算这个范畴。