我知道你知道我知道
上一章我们数了「想到第几层」。这一章要数另一种层：不是「我想到第几层」，而是「我知道你知道我知道……」叠了几层。这两种层看起来很像，其实是完全不同的东西——而后者一旦叠到无穷，会产生一种非常硬的力量，硬到能让一句人人都已经知道的话，改变整座岛的命运。
一座孤岛上住着 100 个人，其中 5 个是蓝眼睛，95 个是棕眼睛。岛上有两条铁律：
- 每个人都看得见别人的眼睛颜色，但永远不知道自己的（没有镜子，也不许互相说）；
- 任何人只要确知自己是蓝眼睛，必须在当天午夜坐船离开。
他们已经这样住了几十年，没有一个人离开过。
某天来了一个外来者，当着全岛的面说了一句话：「你们中间有蓝眼睛的人。」说完就走了。
请注意：这句话对任何人都不是新闻——每个人都至少看得见 4 个蓝眼睛。
问：接下来会发生什么？
先从最小的情况数起
这个谜题最好的解法是从「岛上只有 1 个蓝眼睛」开始。
只有 1 个蓝眼睛。他环顾四周，一个蓝眼睛都没看见。外来者说「有蓝眼睛」，那只能是他自己。当天晚上他就走了。
2 个蓝眼睛，甲和乙。甲看见乙是蓝的，心想：如果我不是蓝的，那乙就是唯一的蓝眼睛，按上面的推理他今晚就会走。第 1 天晚上，乙没走。甲于是明白：乙一定也看见了另一个蓝眼睛——那只能是我。第 2 天晚上，甲和乙同时走了。
3 个蓝眼睛。每个人都看见另外 2 个，心想：如果我不是蓝的，他俩就是「2 个蓝眼睛」的情况，会在第 2 天走。第 2 天没人走。于是每个人都明白自己也是蓝的。第 3 天，3 个人同时走。
依此类推。k 个蓝眼睛，第 k 天，k 个人同时离开。所以答案是第 5 天，5 个人一起走。
那句话到底加了什么
现在回到那个让人不舒服的地方：外来者说的事，每个人早就知道了。他到底加了什么？
把「知道」这件事分层数一数（以 5 个蓝眼睛为例）：
| 层 | 内容 | 说话前 |
|---|---|---|
| 1 | 每个人都知道「有蓝眼睛」 | ✓ 早就知道 |
| 2 | 每个人都知道「每个人都知道有蓝眼睛」 | ✓ 也知道（每人都看见至少 4 个） |
| 3 | 每个人都知道（每个人都知道（每个人都知道）） | ✓ 还是知道 |
| 4 | 再叠一层 | ✓ |
| 5 | 再叠一层 | ✗ 断在这里 |
第 5 层为什么断？因为「甲知道乙知道丙知道丁知道戊知道有蓝眼睛」这句话，要成立需要链条上每个人都看得见足够多的蓝眼睛。当链条长到 5 层，最里面那个人需要看见至少 1 个蓝眼睛——而在那个假想的世界里（甲假设自己不是蓝的，乙假设自己不是蓝的……），能看见的蓝眼睛已经被剥光了。
外来者做的事，是把这个塔补到了无穷层。他当着所有人的面说，所以每个人都知道所有人都听见了，也知道所有人都知道所有人都听见了，一直到底。
「每个人都知道 X」叫相互知识（mutual knowledge）。
「每个人都知道 X，而且每个人都知道每个人都知道 X，……无穷层」叫共同知识（common knowledge）。
这两个词在日常汉语里几乎没区别，在这里差着一整座岛。而制造共同知识的标准手段只有一个：公开。不是「告诉每一个人」，是「当着所有人的面说」——差别在于后者让每个人同时看见了别人也在听。
为什么这件事重要
因为第 3 章那个猎鹿的困局，卡的正是这一层。
猎鹿有两个均衡：一起猎鹿（各 5 分）和各自抓兔（各 3 分）。前者更好，但需要每个人相信别人也会去。而「我相信你会去」不够——你还得相信我相信你会去，否则你会担心我不敢去，于是你自己也不敢去。
这个信念的塔，正是共同知识。协调问题的本质不是缺信任，是缺一个能把塔补到顶的公开事件。
这也是为什么这类场合的解法常常朴素得让人失望：一封发给全组的邮件、一场所有人都在的会、一条写进 README 的规定。它们的作用不是「传达信息」（信息大家早知道了），而是让每个人看见别人也收到了。
银行挤兑。「这家银行可能有问题」这件事，可能很多人早就私下觉得了。但只要没有公开，每个人都不确定别人是不是也这么想，也就不确定别人会不会去取钱。一旦上了新闻头条，共同知识形成，所有人同时算出「别人会去取钱」，于是所有人同时去取钱——挤兑就发生了。它可以完全不依赖银行真的出问题。
广告为什么要在贵的地方投。一个只有你一个人看到的广告，只能让你知道这个产品。而超级碗上的广告让你知道所有人都看到了——这对某些商品是关键的：你买某个牌子，是因为你知道别人也认这个牌子。这类商品的广告买的不是「知道」，是「共同知道」。
代码规范与线上事故复盘。私下提醒一个人和在群里公开写下来，效果差别巨大，而差别不在于「谁看到了」，在于「谁知道谁看到了」。这就是为什么很多团队坚持把结论写在公开渠道，哪怕当事人已经当面谈过。
《意外》讲的是「信息 = 意外」：一条你早已料到的消息，信息量是 0 比特。这一章看起来在唱反调——那句「有蓝眼睛」对每个人来说都毫无意外，却掀翻了整座岛。
两者其实不矛盾，只是在量不同的东西。《意外》量的是「关于世界的不确定性」，这一章量的是「关于别人的信念的不确定性」。外来者那句话，关于眼睛颜色的信息量确实接近 0；但关于「别人知道什么」的信息量，是满的。
把两本书拼起来会得到一个有用的判断：要评估一条消息的分量，别只问「它说了什么新东西」，还要问「它让谁知道了别人知道什么」。
「大家都已经知道的事，再说一遍是浪费时间。」
「大家都知道」和「大家都知道大家都知道」是两种状态，中间隔着一整个行为差异。
检验方法：问一句「如果我现在按这个共识行动，我确信别人也会吗？」如果心里打鼓，那就是塔没建到顶——不管每个人私下里多么清楚。
反过来也有一个实用的推论：如果你不希望某件事变成共同知识，就不要公开谈论它，哪怕人人心里有数。很多组织的沉默不是因为无知，是因为有人清楚公开的后果。
正确答案是 C：第 5 天晚上，5 个蓝眼睛同时离开。
A 「没有新信息」——这个答案抓住了正确的观察（那句话确实不含关于眼睛颜色的新事实），但漏掉了信念的层数。它是这道题里最诚实、也最有教育意义的错法：它精确地暴露了「相互知识」和「共同知识」在日常语言里被混为一谈。 B 「第 1 天全走」——这需要每个人当场就确知自己是蓝的，而他们没有这个信息。第 1 天什么也不会发生；正是「第 1 天没人走」这件事本身成了第 2 天的新证据。这个谜题的引擎其实是沉默：每一天的「什么也没发生」都在传递信息。 D 「每天走一个」——这是把「5 个人」误解成了有先后顺序。他们的处境完全对称，掌握的信息完全一样，所以推理完成的时刻也完全一样。对称的局，答案通常也是对称的。你的团队卡在猎鹿上：所有人都想推行某个更好的做法，但谁也不想当第一个。只准你做一件事，做什么？
私下一个个说服。每个人都被说服了，但每个人都不确定别人被说服了 ⇒ 塔没到顶，没人先动。 开一次所有人都在场的会，当场把决定和生效日期写下来，发到所有人都看得见的地方 ⇒ 塔到顶，大家同时动。这一招在第 22 章会升级成一个更强的东西：一个能让人们不对称地协调起来的信号装置——不只是「大家一起做同一件事」，而是「谁做这个、谁做那个」，并且每个人都愿意听。
这一章的一句话
公开不是为了让人知道，是为了让人知道别人知道；协调问题里缺的往往不是信息，是那座建到顶的信念之塔。
下一章把「同时出手」这个一直藏在背景里的假设拆掉：如果有人可以先走呢？直觉说先走的人占便宜。有时候确实是——但下一章的招牌是一个反过来的例子：在位者把自己的退路烧掉，砍掉自己的一个选项，收益反而从 5 涨到 10。还有一个更难受的：一个六步的游戏，一路传下去两人各得 100，而逆向归纳斩钉截铁地说——第一步就拿走，4 和 1。