EP03：阿基里斯、乌龟和芝诺：人工智能的极限是什么？ | 文理两开花 скачать в хорошем качестве

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) 哥德尔和图灵机：人工智能的极限是什么？ 由于字数限制，详细内容请移步微信公众号文理两开花：https://mp.weixin.qq.com/s/ZQQq0MPufU1NqUa...