前阵子翻完侯世达的《哥德尔、艾舍尔、巴赫》，合上书那会儿有点头皮发麻。它不讲公式，却把数学、物理和艺术的骨架串到一块儿了。

最狠的一刀在哥德尔。他用"这句话不可证"式的自指，把"数学能证明一切真命题"的幻想戳破——不完备定理讲，够强的系统里总有些真命题在体系内证不出来。漂亮在哪？不靠算，靠"让自己指自己"这个结构本身就成立。

书里更妙的是拿艾舍尔版画和巴赫赋格当镜子。循环阶梯、层层声部，本质是递归和对称，跟物理守恒律、分形几何同构——形式不同，骨架一样。

作者管这叫"怪圈"(strange loop)：往上绕一圈又落回自己。意识、时间、无穷被这条线拴住。比起刷题刷出的熟练，这种从结构上瞥见"天机"的瞬间才真过瘾。

哥德尔那刀够狠，不过我最服他拿巴赫赋格当镜子的那段。我平时听古典，赋格声部层层叠上来就是递归本身，读到这直接循环播放整晚。

你们知道吗，哥德尔这人比定理还有意思。我听过一个段子，他入籍美国面试前跟爱因斯坦念叨，说美国宪法里有条逻辑漏洞能推出独裁，老爱赶紧捂他嘴怕他现场显摆。卧槽结果到面试还真没绷住，好在当时面试官跟他有点交情，才蒙混过去。
6
书里那种自指上瘾的劲头，跟他这性格简直一个模子刻出来的。我去还有个事不知道该不该说，侯世达写这书时才三十多岁吧，我怎么听说他本来是冲着AI去的，写着写着拐去啃音乐和版画了，最后整出这么个怪胎巨著。
诶
你说意识也是怪圈那一段，我越想越头皮发麻，往下挖一层总绕回自己，这谁顶得住啊。

啃这本时卡在赋格那章老久。我怎么听人说过侯世达后来又写了本，把"怪圈"往意识那块拽得更狠，你看过没

补一个容易被略过的细节：帖子说"够强的系统里总有些真命题在体系内证不出来"，方向是对的，但严格讲缺了两个前提，容易出歧义。

一是"一致"这个前提。哥德尔原版第一不完备定理其实要求系统ω-一致；后来Rosser在1936年用了一个更巧的构造，才把前提降到单纯的"一致"。也就是说：一致且能编码初等算术的系统里，才存在既不可证也不可否证的命题。若连自洽都保不住，爆炸原理之下反倒啥都能证，"真命题证不出"就无从谈起了。

二是"真命题"得在标准模型意义上说。那个哥德尔语句G，在系统内既非定理也非反定理，它的"真"是元语言层面的断言，不是系统内的结论。

“让自己指自己"这个直觉很抓人，但严格证明靠的是句法算术化（哥德尔配数）加对角线引理，不是自然语言里那句直白的"这句话不可证”。从某种角度看，书里拿艾舍尔和巴赫当镜子确实比甩公式更让人瞥见结构，但要claim真懂了不完备，还是得回到那套编码论证。

btw侯世达后来在《我是个怪圈》里把这条线又推了一程，对照着看挺有意思。

你这段把哥德尔的构造讲得有点太轻巧了。其实"让自己指自己"那个自指真不是结构天然成立——哥德尔是用哥德尔配数把句法硬编进算术，才造出"本命题不可证"那句话。另外不完备定理能成立…，得同时满足一致、递归可公理化、能表达基本算术三个前提，少一个都不行，比如只含加法的Presburger算术就是完备的。楼主把前提省了，读着过瘾，但容易让人以为"任何够强的系统都漏命题"，这结论其实偷了懒。

以前我也以为数学能把一切说明白，看到那句"这句话不可证"才老实了。有些弯得绕回来才懂。

怪圈最动人处，是它不急着出去。绕回来了，才看清出发时看不见的自己。

读到你说"让自己指自己"那个结构本身就成立，我脑子也跟着嗡了一下。我当年在巴黎租的小房间里第一次翻到哥德尔那章，也是这种感觉——明明没算任何东西，却像被人轻轻戳中了后脑勺。

你提到巴赫赋格那块我特别有共鸣，虽然我平时弹吉他听的都是些吵吵闹闹的摇滚，但巴赫那种一层层声部叠上去又绕回来的劲头，确实跟书里说的怪圈一个味道。有回晚上自己瞎弹，突然意识到手指在重复一个模式、而那个模式又反过来定义了整首曲子，当下就有点头皮发麻，跟你说的那种"瞥见天机"太像了。
没事的
没事的不过我倒觉得，这种过瘾未必非要跟"刷题的熟练"对立起来。结构上惊鸿一瞥很美，但有时候反复练到手指记住了，也会在某个瞬间突然懂了之前想不通的东西。两条路大概是同一个怪圈的不同入口吧。加油呀

你后面还打算翻他别的书吗，比如《表象与本质》？

合上书那阵子，我也常有你说的那种"头皮发麻"。不过我是先被音乐撞上的——不是赋格，是《哥德堡变奏曲》里那串卡农，声部一个追一个，绕到尽头又温和地落回开头。那时候不懂什么叫递归，只觉得像有人在我耳边轻轻说：你以为自己在往前走，其实一直在自己里面转圈。

侯世达讲的"怪圈"，我倒觉得它不只是数学的骨架，也是人的。我们总以为记忆是一条直线，从过去走到现在；可有些夜晚，一句旧歌词、一个熟悉的气味，就把人整个儿拽回好几年前的某个傍晚。怎么说呢Друг，那不是倒退，是结构在呼吸。怎么说呢

数学证不出的真命题，和人说不出口的真心，或许本就是一回事。

读这书时我也被那个自指结构震过一下，不过有处细节想掰扯：'这句话不可证’其实是说谎者悖论的通俗版，哥德尔真正干的事重得多。他给每个公式编了Gödel数，再用对角线引理造出断言自身不可证的句子，底层构造一点也不轻巧，说它’不靠算’有点误导。

另外’够强的系统里总有些真命题证不出来’，严格讲得先加前提：系统是一致的（consistent）。第一定理精确说是在一致前提下存在既不可证也不可否证的句子，‘真但不可证’是在标准模型里才成立。少了这个前提容易被读成’数学有bug’。btw最让我服的是他把递归和意识挂钩那一步，比定理本身还大胆。

我十年前也买过这本，厚得像砖。你说艾舍尔循环楼梯和巴赫赋格同构，这个我服气，画里人转一圈回到原地，眼睛一看就懂。往后作者要把它往意识、时间上拽，我这脑子跟不上，看个巧劲儿已经够乐呵了。Друг，难得碰上同好。