图灵机与计算理论是人工智能乃至整个计算机科学的理论基础。一切计算过程都可以用图灵机仿真。因此，无论如何人工智能都无法逃脱图灵机可计算理论的范畴。本章从图灵可计算理论的基础触发，忽略掉一切实用的工程细节，来讨论计算机可以做和不可以做的事情。从这些讨论中，我们可以站在一定的理论高度来窥探人工智能的前进方向。
图灵机
计算是一个司空见惯，古已有之的概念。例如，我国古代发明的算盘就是一种计算的机器。
图灵机模型既直观又简洁，因此人们普遍接受了图灵机模型作为计算理论的标准模型。
计算
如果我们把一切都看作信息，那么广义上讲，计算就是对信息的变换。
计算就是某个系统完成了一次从输入到输出的变换。
计算的组合
从最简单的逻辑运算操作最简单的二进制信息出发，我们其实可以构造任意的图灵机。
征服无限的方法
运用有限的规则应对无限可能情况的方法。
计算等价性
具体地说，如果A能够仿真B,并且B也能仿真A，那么A和B就是计算等价的。计算等价性是非常强有力的，因为它揭示了在我们这个宇宙中某种非常普遍的规律。
所有与加法运算算法计算等价的计算机程序都是一回事儿，因而加法算法这个东西是永恒而独立的。
看！我们在宇宙中找到某种永恒性了，这种永恒性反映了宇宙规律中某种本质上的美。计算等价性就和能量守恒定律一样具有这种高级的对称性，我甚至觉得计算等价性要比能量守恒定律更加深刻。因为无论如何能量守恒定律仍然刻画了物理系统的某种属性，而计算等价性刻画的则是非常广泛的信息系统之间的对称性，而一切系统都可以被抽象为信息系统，甚至是物质世界。所以，计算等价性是跨越所有系统之间某种高级对称的，永恒的，美的东西。
意义
图灵机之间是可以相互仿真的。
这三句话具有相同的意义，而根据前面的叙述，能够相互仿真的图灵机是计算等价的。而这种计算等价性就像前面说到的加法规则一样是独立于计算系统和执行机构的。
所谓语言的意义，就是执行这个语言系统的计算等价性。
万能图灵机
前面已经讲述了仿真的概念，那么自然会产生这样一个问题：是否存在一台图灵机能够仿真所有其他的图灵机呢？答案是存在的。这种能够仿真其他所有图灵机的图灵机叫做通用图灵机，也就是我所说的“万能图灵机”。我之所以这么称呼它，是因为这种机器在图灵计算这个范畴内是万能的。
编码
什么是编码呢?你可以理解为对某一堆事物进行编号。
自食其尾
既然万能图灵机能够仿真任何一台图灵机的动作，那么它能不能仿真它自己呢？答案是肯定的。我们首先看到万能图灵机也是图灵机，也有固定的输入，输出，状态的集合，固定的程序，因而它也能被编码。于是我们就可以把它自己的编码信息输入给它自己。这就好像一条蛇咬到了自己的尾巴自食其尾就会产生怪圈，虽然我们现在还没有看到任何不好的征兆，然而在下一节里面，我们将会看到这种怪圈会产生什么样的结论。而且在第四章我们也会看到，其实这个怪圈是和康托尔对角线法则，哥德尔定理有关的。
图灵机一旦能够把程序作为数据来读写，就会诞生很多有趣的事情。首先，存在某种图灵机可以完成自我复制。事实上，计算机病毒就是这样干的。
有了万能图灵机，还能得到很多有趣的结论，比如假设有一大群图灵机，让它们随机地相互碰撞，当碰到一块的时候，一个图灵机可以读入另一个图灵机的编码，并且修改这台图灵机的编码。那么这样一个图灵机“汤”中会产生什么呢？美国圣塔菲研究所的芳塔纳完成了这个实验，并得出了惊人的结论：在这样的系统中会诞生自我维护的类似生命的复杂组织，而且这些组织能够进一步联合起来构成更大的组织！
