一台图灵机即为一个算法过程。
这让我们明白了算法的局限性，以及如何超越算法。
而理解它则需要拜访另一位传奇的人物，香农，以及他的信息论。
万能的判定图灵机 H 并不存在。
不存在判定数学问题的一般算法。
希尔伯特的判定问题为否定解。
停机问题一定程度上说明了图灵机的局限性。
而当今的人工智能也属于图灵机，因此也具有相同的局限性。
即便图灵机理论影响了整个世界，但它其实只是图灵在思考希尔伯特判定问题过程中的副产物。
通用图灵机并非终点，我们认为有必要顺着图灵走过的路再往前一点，窥见一下他曾见过的风景。
被编码成纸带的图灵机就是软件。
我们今天的电脑、手机……相同的硬件上可以安装五花八门的不同软件，实现各种各样的功能，其起源就是图灵的这一深刻洞见。
「扩展二进制图灵机」和「一进制图灵机」在数学上是等价的，图灵认为它们都可以模拟人类所能进行的任何计算。
而本期介绍「扩展二进制图灵机」是因为它存在着一些更高效的表示特性，可以便于我们后续进行更深入的讨论。
图灵机的魅力就在于，哪怕是如此简陋的一进制图灵机，它的数学模型其实和我们现代的计算机没有区别。
图灵认为这样的一台设备就足以模拟人类所能进行的任何计算过程。
数学家在思考数学问题的时候、在进行计算的时候，到底发生了些什么？
我们要如何去描述这个计算的过程？
以及，如何从中找到最基本的、最可靠的步骤？
从如何获取数学真理出发，在梳理了「可计算性」理论的发展史之后，我们终于抵达了「图灵机」。
而这也是现代计算机和人工智能诞生的前夜。
符号主义注重逻辑，连接主义模拟神经网络，自然主义模拟进化行为。
如果能理解人工智能顶层的哲学思想，那么就会发现其并未超过这3种基本的流派。