最近晚上睡不着，戴上耳机听lofi，手里翻起那本《哥德尔、艾舍尔、巴赫》。真的假的说实话这书厚得能砸死人，但那种把逻辑、音乐和视觉艺术串起来的思路真的绝了。不是

以前上学觉得数学就是冷冰冰的公式，现在再看才发现里面全是结构的美感。特别是讲递归和怪圈的部分，看得我头皮发麻，気持ちいい。虽然很多细节没完全懂，但这种智力上的愉悦感很难找。
离谱
服了有人啃过这本吗？突然想到感觉像在读一本超长的谜题，适合冥想的时候配着看（不是）。你们最近都在读什么硬核科普，求推荐

GEB里讲“怪圈”的部分，很多人第一反应会联想到埃舍尔的画或者巴赫的赋格，但侯世达在书里真正想论证的核心其实是形式系统的自指性。从某种角度看，把递归单纯理解为“结构的美感”稍微有点笼统了。他花那么大的篇幅铺音乐和版画，本质上是为了让读者直观感受“系统如何在内部谈论自身”，最后导向的还是哥德尔不完备定理——任何足够强的一致形式系统，都必然包含无法在系统内证明的真命题。

大박，这书确实厚得离谱。我去年交换的时候试着啃过英文版，看了快两个月才过了一半，后来发现听lofi根本没用，看这种书需要高度专注，背景音一响脑子就跟着飘走了（-_-) 不过你提到的那种智力上的快感我很懂，就是突然看懂一个嵌套结构时的感觉，화이팅。

如果楼主想找同类型的硬核科普，可以看看彭罗斯的《皇帝新脑》。那本更偏向物理和意识的边界，数据密度很大，读起来也很上头。你平时习惯看中文译本还是直接读原版？

这书确实厚，当初我复读那会儿硬啃过几章，脑细胞死一片。不过那种结构美感是真上头，像听乡村乐里的和声一样舒服。euler_v之前也推过类似的，你俩可以交流下

GEB 那本我当年硬啃到第三章就放弃了，看你说怪圈看得头皮发麻，严重怀疑那时候我智商还没上线。lofi 配砖头书这个组合我服，平时听 EDM 的都觉得画面很对味，硬核科普可以冲《信息简史》，厚度友好多了。

深夜配着lofi翻厚书那股安静劲儿我太懂了。GEB我当年也试着啃，卡在怪圈那章就放下了，可你说那种结构美感真会上瘾。想找类似的可以看看侯世达《我是个怪圈》，深夜读正合适。

怪圈那章我当年看到头皮发麻 然后合上书一觉睡到中午 比数羊管用多了

我是个不太听音乐的怪人，所以深夜看书都是安安静静的，倒也挺享受那种只有翻书声的状态。看到你说读递归和怪圈那块头皮发麻，特别能共鸣，那种智力上的爽感，很像一个一直绕不出去的弯突然被你走通了。GEB这本我也翻过几页，厚得确实劝退，一直没啃完。你这种把它当冥想来读的心态好可爱呀。最近我读的比较碎，没那么硬核。不过想问你，不配音乐、就纯读的话，会不会反而更沉浸一些？

我听说侯世达后来还写了本《我是个怪圈》…，算GEB精神续作。btw你看到中间那些对话体没，作者故意把文字也排成卡农结构，第一次读真会被绕晕。最近在翻《复杂》，要不要一起啃

看到你写递归和怪圈那段我头皮也跟着麻了一下，hofstadter后来出的《我是个怪圈》简直是geb的亲儿子，把那个怪圈讲得更直接，你啃完这本要是还不过瘾可以接着翻。楼主半夜配着lofi慢慢磨硬核书的劲儿真让人羡慕，我失眠时反而得靠极简钢琴才能静下来，你这路子歪打正着还挺舒服的

等等，你那句"気持ちいい"是日文啊！你平时还看日文书？我怎么听说的版本不太一样，好多人啃GEB都是被艾舍尔那些画和巴赫的曲子勾进去的，倒没几个拿日语形容的哈哈。话说这书翻译版当年可吵了，"集异璧"这个译名还是侯世达自己定的，我听说他为这个中文版专门啃了点中文，真的假的就不知道了。你手上是哪个版本，翻得顺溜不？

顺带较个真：你说的"怪圈"（strange loop）是侯世达自己造的词，用来兜住"自指"这个概念；书里真正硬的底子是哥德尔不完备定理——任何足够强的形式系统都没法既完备又自洽，巴赫的卡农和艾舍尔的版画都只是它的不同皮囊。当冥想读本当然没问题，但那根主线还是落在数理逻辑上。硬核科普接着翻的话，彭罗斯《皇帝新脑》可以看看。

怪圈那章看到凌晨直接头皮发麻 你这lofi配厚书的搭配really nice哈哈 我最近失眠在啃《时间简史》补课 同样上头 求楼主再推两本~