EP03：阿基里斯、乌龟和芝诺：人工智能的极限是什么？

我们的几个奇怪的主人公终于登场了！一只乌龟、古希腊英雄阿基里斯、芝诺。后面章节中还会出现几个奇怪的角色，包括螃蟹。
这就是GEB著名的招牌结构：在每个章节前，侯世达老师会编一篇对话小故事，把内容引出来。这也是我每一章最爱看的部分，因为相对容易懂。
侯式幽默，虽然有时很冷，但是每个对话都回味无穷，看完这个小故事，带着印象进入下一章，读完后再回来重温一下，方知其奥妙之处。有时会恍然大悟，原来对话中另有玄机；但有时文科生上头，也会想：侯世达老师炫技有点儿过了，让读者觉得智商堪忧可能并不是一件好事。但是，侯世达老师并不care读者智商的承受能力。
上一期留了一个悬念：提到了图灵机——他和哥德尔不完备定理有啥关系？哎别说，那还是很有关系的，不仅有关系，还能带出到底“什么是智能”的一些深层哲学。
本期和大家解读的第一章内容，也是层层嵌套的绝活儿，不仅带出了第二次数学危机，也带出了整个数学大厦、计算机人工智能最重要的基础，地基——形式系统。
大家可以对比一下，听本期播客之前之后，分别能在这一章中找出多少“梗”？
本期剪辑：小碗
本期烧脑提纲：
·(00:06:22) 全书和大家见面的第一篇对话是《三部创意曲》。
·(00:09:26) 这么一篇奇怪的对话，到底埋了多少梗？为啥叫“三部创意曲”？
·(00:18:26) 芝诺禅宗谐音梗，你看出来了吗？
·(00:23:39) 什么是形式系统？
·(00:30:22) 用国际象棋举个例子
·(00:36:21) 侯氏龟能梦电子龟吗？
·(00:42:27) MIU还是WJ？
·(00:48:56) 机器能“跳出系统”吗？
·(00:56:52) 大梗来了
·(01:02:14) 哥德尔和图灵机：人工智能的极限是什么？

文字稿和时间戳：
(00:06:22) 全书和大家见面的第一篇对话是《三部创意曲》。
对话开始于阿基里斯和乌龟对一面奇特旗子的讨论：
“阿基里斯和一只乌龟站在尘土飞扬的跑道上，烈日当空。在跑道的另一端，有一根高高的旗杆，上面挂着一面长方形的大旗，整面旗子是红色的，但上面有一个环状的狭缝，透过狭缝可以看到天空。这个环形切口呈阿拉伯数字‘零’的形状，这是芝诺最喜欢的数字。”
这么一小段开头，信息密度极大：里面包含了：芝诺悖论，第二次数学危机的内涵——也就是无穷小他到底是不是零？
接着，旗子动了，乌龟和阿基里斯莫名其妙地开始讨论到底是风动还是幡动。（埋梗）
然后芝诺就溜达着路过了，说：“你俩别争了，什么都没动。我发现了一个伟大的定理：运动从本质上说是不可能的。这个定理可以推导出一个更伟大的定理——芝诺定理：运动无有。”
芝诺继续说道：“我的师傅五祖教导我，真如即一，具有不变异性，万象的动迁变化都是感官的幻觉。因此，阿基里斯永远追不上乌龟。”
乌龟点题道：“论证‘运动不可能’的命题是通过芝诺的‘二分悖论’证明的：如果想从A点到B点，必须先走完A到B的一半；要走完这一半，又得先走完这一半的一半。如此无限细分下去，当然永远无法到达B点。”
阿基里斯表示质疑，芝诺说：“不信你就试试。”于是，阿