1979 初版 · 1980 普利策奖 · 二十章正文
哥德尔
艾舍尔
巴赫
GÖDEL · ESCHER · BACH
三个名字，三种语言，同一副骨架。
让一个层级回头指向自己。
本文只交地图，不交终点。
CHAPTER 01 — 问题
先给你一道
解不出的题
全书从一个谜题开始。它不解释，只给四条改写规则，然后问你：能不能从 MI 走到 MU。
「MI」是起点。规则一：末尾是 I，可以加一个 U。规则二：M 后面那一串，可以整段复制一遍。规则三：III 可以换成 U，U 也可以换回 III。规则四：两个 U 相邻，可以一起删掉。
问的是：MU 能不能被推出来。你动手试十分钟，会先怀疑自己手笨，再怀疑规则有诈。都不是。答案是推不出来——而且这件事本身可以被证明。
证明的办法不靠穷举。找一个在四条规则下都不变的量：I 的个数永远不能被 3 整除。MI 有一个 I；MU 一个 I 都没有，而零能被 3 整除。于是 MU 落在规则够不着的地方。
第一课就在这里：有些「够不着」，不是暂时够不着，是结构上够不着。而你能在系统内部，用系统自己的规则，把这一点证出来。
接着它把同一副骨架搬三次家。哥德尔用数论做，艾舍尔用版画做，巴赫用卡农做。三个人的行当没有交集，做的事是同一件：让一个层级，回头指向自己。
777 页，二十章正文，每章后面跟一段对话。三部分的小标题是一次字母轮转：GEB、EGB、再回到 GEB。中文版 1,053 页，商务印书馆 1997 年出，三位译者做了十余年，作者本人参与了译文的改写。
三部分压成四段的推进顺序
造出一个能谈论自己的系统？」
CHAPTER 02 — 一条链
从一条规则
到一个怪圈
全书五环。前四环各自可验，第五环是它的赌注——本文停在第四环的门口。五环里没有一环依赖高深数学，都能用日常语言复述一遍，这是它被读下去的原因。
只看规则
先不谈意义。符号长什么样不重要，重要的是哪条规则允许你把哪串换成哪串。MIU 系统里没有「意思」，只有写得出与写不出。
找同构
两套结构若能一一对应，意义就从映射里长出来。艾舍尔的楼梯与赋格的声部，对应的是同一件事：层级错位之后还能走通。
编成数字
哥德尔的关键一步：把「关于公式的句子」编成数字，让系统能谈论自己。句子变成数，证明变成算术，自指于是合法。编码本身不难，难的是让编码也留在系统之内。
让它自指
系统里于是出现一句「我不可证」。它若可证，系统自相矛盾；它若不可证，它就是真的。两种坏结果同时成立，地基上从此有了缝。
绕回起点
层级本该单向：低层撑住高层。怪圈是它掉头往回走，穿过自己。艾舍尔的两只手在互相画，巴赫那段卡农每绕一圈升高一度，回到主题却不在同一个高度。
第五环之后，书要回答的是「这种回路为什么会有主观体验」。这一步是它的赌注，也是争议最集中的地方。本文不替你走完，只标出它在哪一章转弯：从「自指」到「我」，中间隔着整本书最不好读的十页。艾舍尔的《画手》、巴赫那段每绕一圈升高一度的卡农，都是这一步的插图——先让你看见形状，再让你接受论证。读到这里也不必急着同意：第五环是否成立，取决于你愿不愿意把一个类比当作论证。这正是全书最被诟病、也最迷人的地方。
CHAPTER 03 — 四个亮点
它凭什么
被叫作奇书
三条线并进
三个人不是拼盘。哥德尔给结构，艾舍尔给图像，巴赫给时间里的结构。同一条论证换三种语言说，读者从任一口进都行。
对话即演示
每章后跟一段对话，阿基里斯与乌龟在里面斗嘴。形式本身在演示内容：你以为是闲聊，结构已经悄悄绕回来了。
先动手再讲
MU 谜题要你试，BlooP 与 FlooP 是两门玩具语言，TNT 给你一整套符号。先玩到手熟，再说道理，顺序从不颠倒。
不设数学门
没有公式墙。最难的一章也只用初等数论的语言。真正的门槛不是数学，是耐心：愿意在一个游戏里待到看懂规则为止。
CHAPTER 04 — 方法
一件能带走的
工具：分层
同一个东西，在符号层、规则层、意义层上说的话不一样。把三层混作一层，是判断出错最常见的一种。
符号层 · 看形状
只看字符串怎么变：谁换成谁，规则允许不允许。这一层不谈对错，只谈推得出与推不出。把符号当成没有内容的空壳，先问它能不能被写出来。
规则层 · 看性质
看整套规则有什么性质：一致、完备、可判定。性质属于系统，不属于某一条规则。三条里只要完备这一条不成立，系统里就一定有够不着的地方。
意义层 · 看指向
看这套符号指向什么。意义不在符号里，在符号与世界的对应关系里；换一套对应，同一串符号可以什么都不是。这一步最容易走快，把熟悉的对应当成唯一的对应。
举一个尺度过小的例子：一段程序算出错的结果。符号层看它输出了什么；规则层看这套逻辑在什么输入下必然出错；意义层看它本来要解决什么问题。三层里跳错一层，修法就全错。管理者最常犯的错，是从符号层直接跳到意义层：报表数字不对，就去改战略，中间那层「这套核算规则本身有问题」被整段跳过。换层之后，问题常常自己变了形——原来那个问法，只在原来那层成立。
「形式系统不谈意义，只谈能不能被推出来。意义是后来长出来的，不是写进去的。」
— 全书的立论姿态：先关掉意义，再让它自己回来
DATA — 分数的位置
CHAPTER 05 — 争议
三类批评，
两类站得住
正文、对话、注释三层嵌套，前五章之后的坡度陡然变陡。多数读者停在中途，这不是读者的错——书本身没有为「读完」设计节奏。它的名声，靠的正是那些读完的少数人。
双关、藏头、自造体系，形式常常压过论点。批评者说它在表演聪明，而不是把话讲清楚。这个指责不容易反驳。
用怪圈解释意识，无法证伪。认知科学界的态度是分裂的：有人把它当路线图，有人把它当长诗。
作者自己的回应
他后来多次澄清：这本书不是讲数学、艺术与音乐，是讲思考如何从神经机制里长出来。2007 年他又写了一本《我是个怪圈》，把同一个论点重讲一遍——这等于承认第一本没讲清。对「炫技」的指责，他的态度近乎默认：形式就是内容，不喜欢可以放下。对第三类，他几乎没有正面回应，书的结尾仍然用类比收场。这既是它的写法，也是它的软肋。
我的判断：第一类站得住，第二类站得住一半，第三类站不住。
第一类：结构确实不为读者着想。但它的难不在数学，在耐心。把对话当正文读，一路会顺得多；跳过对话，后面必然断线。
第二类：形式即内容，这是它的方法，不是装饰。但代价真实——形式一旦抢戏，读者记住的是把戏，不是论点。这本书后半程的疲软，多半来自这里。
第三类：不可证伪是事实。但要求它可证伪，等于要求一个关于「体验」的论证变成实验。它的位置更接近哲学，不是科学。这个位置它自己也没藏：书中反复说，它给的是类比，不是证明。
CHAPTER 06 — 边界
它没有回答什么
不给算法
读完不会写程序，也不会做模型。它给的是看结构的角度，不是可执行的步骤。它能帮你判断一个问题值不值得问，不能替你算出答案。
不替代原典
哥德尔定理的严格证明不在这里。它是导游图，不是教科书；要真的懂，还得回去读 1931 年那篇论文。类比能带你进门，进门之后要换工具。
不问该不该
它只问机器能不能有「我」，不问有了之后该怎样。后果不在它的射程内，这是它的时代局限——写书的 1979 年，还没有今天这些系统。
CHAPTER 07 — 谁的解释更硬
同一件事，
四种解释
意识从哪里来。四种解释争同一个位置，各自能撑多久，并排放才看得清。
01计算主义
脑是一台机器，思维是符号操作。强项是能给出机制，也能直接推到机器上；弱项是解释不了「为什么操作会伴随感受」，这一步它只能先欠着。
02涌现论
底层无意义，高层属性是新的。强项是能解释蚁群、市场与脑；弱项是「涌现」常被当成「不知道」的礼貌说法，说出口等于宣布停止追问。
03生物主义
碳基的细节不可替代，模拟不等于复制。强项是守住了物理事实；弱项是它把答案推给未来的实验，现在既不能用，也无法反驳。这派的口头禅是：先弄清大脑怎么算，再谈换不换基底。
04不可知论
第一人称的经验无法被第三人称化。强项是最诚实，不假装已经知道；弱项是它终止讨论——什么都能解释，也就什么都没解释。它更像一个提醒：有些问题不该用第三人称问。
四种解释不是四选一，是四个层级。这本书押在第一层与第二层之间：机制要算得出来，涌现要说得通。它没有走到第三层，也不打算在第四层停——这个站位，决定了它的读者要么被说服，要么觉得被绕开。判断一段解释的强弱，先问它自称能覆盖多大的范围，再问它失败的时候会是什么样子。
CHAPTER 08 — 读法
一条
省时间的路径
777 页，不必按序。第一遍只读前五章与三段对话，拿到工具就够用；剩下的按兴趣补，不用还债。
页 · 前五章
规则、同构、递归、意义的位置。这五章是地基，读完能自己讲清 MU 为什么走不通。这一段别赶进度。
段 · 对话线
对话可以独立读。先读蚂蚁赋格与螃蟹卡农，感到形式在做事，再回头读正文，速度会快一截。
小时 · 精读预算
粗读十五小时。真正花时间的是把分层用在自己手上的一件事上——做完一次，比读完三遍有用。
三个动作：拿一张纸，把手上一个问题拆成符号层、规则层、意义层；标出你一直在哪一层打转；换一层，重问一遍。第三件事最难，因为你得先承认，前两层问错了。做完这三步，你会发现自己原来问的问题，多半问在了符号层。
MORE — 同一条线上的四本
CLOSING — 它的位置
这本书不给你答案。它给你一副能看见回路的眼镜。
戴上之后，熟悉的东西会换个位置：一句自相矛盾的话、一段调用自己的代码、一个总在重复的关系，都是同一个形状。形状一旦认出来，就不必每次从头惊讶。
它的方法可以压成一句：先分清层级，再看哪一层在描述哪一层，最后看有没有一条路绕回起点。三步不需要数学，只需要愿意慢下来。
我的判断：这本书的价值不在结论，在它训练出的那种警觉——看到「自指」就停一下。这个习惯比记住哥德尔定理有用得多。定理会忘，警觉会留下。
放在第五期的位置，是因为它接住了前四期的问题：第一期讲位置，第二期讲判断，第三期讲选择，第四期讲形状。这一本问的是——当系统开始谈论自己，会多出什么。
中译本值得单说一句：三位译者做了十余年，把书里的英文双关换成中文典故，作者本人参与改写。它因此不只是译本，更像一次重写。这一层辛苦，读的时候能感觉到。
所以它更适合当工具书用：不必一次读完，遇到「谁在描述谁」这类问题时翻一段。它经得起这样零碎地用，这是多数厚书做不到的。
云上有品 · 今日一书 · NO.005
评论(0)