【节目简介】

本期节目克莱尔赶在了八月假期的月末，终于完成了她一直想读的一本书的节目制作。《哥德尔、艾舍尔、巴赫——集异璧之大成》，这本一千多页的厚书待在克莱尔的书架上很久之后，克莱尔才决定翻开它，把它读完。

“这期肯定会在八月更新的，哪怕是在八月的最后五分钟。”克莱尔这样想。但是她忘记了一点：她在制作过程中考虑了侯世达定理，那就意味着，节目的更新所花的时间比她预期的时间更长，长到赶不上八月的最后一分钟，长到上传进度条的速度没有赶上分针，长到九月的到来。

【延伸】

-侯世达《哥德尔、艾舍尔、巴赫——集异璧之大成》

-本书阅读伴侣（https://mp.weixin.qq.com/s/2AftgsJ4hXYeF8_3v2_JXA），也可以在播客同名公众号“克莱尔的花园”中回复“GEB”，即可查看这份阅读伴侣。（没错是在给公众号引流）

-侯世达定律：做事所花费的时间总是比你预期的要长，即使你的预期中考虑了侯世达定律。

【时间轴】

01:49 简介：哥德尔、艾舍尔、巴赫是谁 

03:46 “同构”和巴赫的卡农 

07:32 “递归”和艾舍尔的《鱼与鳞》 

09:36 “自指”、用㧟摁构造句子

11:25 哥德尔不完备性定理

13:03 “怪圈”：三者形式上的相似之处

14:20 人脑和计算机的同构

17:43 用哥德尔定理思考探究大脑和心智的过程：人无法脱离自身的神秘性

19:25 人工智能的研究中，我们期待的智能是什么？

20:07 人工智能发展史：“智能”是尚未做到的东西

22:17 人类沙文主义：“智能”是和人相似的

22:59 人类在更高于我们的存在的角度也不是智能的

24:40 理解哥德尔定理的证明：深化我们的直觉

26:06 阅读感受：有趣的书（移译、学科跨度大、形式美）

29:27 先序知识让我读的不太费劲，但也可以略过数学证明

【音乐】

intro:

-Vendredi-"My Old East Coast"

插曲：

-Johann Sebastian Bach-"Musical Offering, BWV 1079 - 4a. Canon 1 a 2 cancrizans"

-Johann Sebastian Bach-"Musical Offering, BWV 1079 - Ricercar a 6"

【播客简介】

《克莱尔的花园》记录了一个学计算机的年轻人克莱尔从自己的人生和世界出发，对诸多问题的思考和看法。这是她人生的备忘录，也是她对自己三观的梳理。涉及话题包括她的生活感悟、计算机文化、书影音延伸的话题等。

这档单口播客节目通常会在每月20号更新，偶尔会有不定期的特殊节目。如果在早于或晚于20号的日子更新，说明克莱尔很闲或很忙，请多包容。

【收听方式】

音频平台：苹果podcast | 喜马拉雅 | 汽水儿 | 小宇宙 | 荔枝播客 | QQ音乐

【联系方式】

邮箱：[email protected]

公众号： 克莱尔的花园