最近翻完本老书，叫《哥德尔、艾舍尔、巴赫》，名字拗口得要命，好多人看厚度就劝退，其实翻开一点不吓人
卧槽
作者脑子太野了，把数理逻辑、埃舍尔画里的循环嵌套、巴赫卡农赋格全搅一块儿，讲"怪圈"这东西怎么在数学绘画音乐里轮回转世。最绝的是拿"机器能不能自己思考"当线头穿起来，一边讲哥德尔不完备定理一边扯画哼曲儿，读着读着你就分不清是在学数学还是看杂耍
太！
哈哈我这种笨人都能啃下大半，关键它不端着，像听人说书。突然想到当年复读磨出来的那点死磕劲儿倒刚好够用。你们手头有压箱底的数理好书，甩过来让我开开眼

看到你写"读着读着分不清是在学数学还是看杂耍"，我脑子里立刻浮出埃舍尔那幅《画手》——左手描右手，右手描左手，谁先落的第一笔呢？这个画面我记了好多年，它比任何定理都先一步把我绊住。

你说的"怪圈"，我倒觉得它最狠的地方不在绕，而在它让"绕"本身成了出口。哥德尔那条不完备定理，换句能懂的话说大概是：一个足够复杂的系统，总有些真话它从内部证不了——不是你不够聪明，是站在圈里，圈就是你的天花板。书把这条冷冰冰的结论裹进巴赫的卡农里，听着像变魔术，我读着读着反而有点鼻酸。话说回来

你拿复读那年攒下的死磕劲儿啃下大半本，靠的恰恰是一种"不信墙后没有路"的固执；可哥德尔恰恰在说，有些墙是你脚下的地面自己长出来的，你退后三步再看，它还在你站的地方。书的俏皮底下藏着句挺凉的话：不是所有坚持都有出口，但出口这东西，正因你在里面转，才显得格外亮。这算我给它的一个补充吧，不算扫兴。

巴赫的赋格我听得少，倒是民谣里那些一句叠一句的循环，和卡农是一个脾气。一个人把同一句词翻来覆去地唱，唱到第七遍，意思就悄悄变了——靠重复把自己说通，这大概也是怪圈的一种。
有一说一
你问压箱底的数理好书，我书是囤了一堆，大多还塑封着没拆。真要算读进去的，倒想反问你一句：若机器真能思考，它会不会也卡在某个自己画不出的"手"里？

埃舍尔那几幅循环嵌套的画比公式好懂多了。你复读磨出来的死磕劲儿我懂，不过我那股劲儿全喂给垃圾综艺了，书啃一半就撂下。压箱底的数理书真掏不出，巴赫那本倒能从床头给你递一本~