第2章 图灵的计算王国

图灵机与计算理论是人工智能乃至整个计算机科学的理论基础。一切计算过程都可以用图灵机仿真。因此，无论如何人工智能都无法逃脱图灵机可计算理论的范畴。本章从图灵可计算理论的基础触发，忽略掉一切实用的工程细节，来讨论计算机可以做和不可以做的事情。从这些讨论中，我们可以站在一定的理论高度来窥探人工智能的前进方向。

图灵机

计算是一个司空见惯，古已有之的概念。例如，我国古代发明的算盘就是一种计算的机器。

图灵机模型既直观又简洁，因此人们普遍接受了图灵机模型作为计算理论的标准模型。

计算

如果我们把一切都看作信息，那么广义上讲，计算就是对信息的变换。

计算就是某个系统完成了一次从输入到输出的变换。

计算的组合

从最简单的逻辑运算操作最简单的二进制信息出发，我们其实可以构造任意的图灵机。

征服无限的方法

运用有限的规则应对无限可能情况的方法。

计算等价性

具体地说，如果A能够仿真B,并且B也能仿真A，那么A和B就是计算等价的。计算等价性是非常强有力的，因为它揭示了在我们这个宇宙中某种非常普遍的规律。

所有与加法运算算法计算等价的计算机程序都是一回事儿，因而加法算法这个东西是永恒而独立的。

看！我们在宇宙中找到某种永恒性了，这种永恒性反映了宇宙规律中某种本质上的美。计算等价性就和能量守恒定律一样具有这种高级的对称性，我甚至觉得计算等价性要比能量守恒定律更加深刻。因为无论如何能量守恒定律仍然刻画了物理系统的某种属性，而计算等价性刻画的则是非常广泛的信息系统之间的对称性，而一切系统都可以被抽象为信息系统，甚至是物质世界。所以，计算等价性是跨越所有系统之