趣题：无限多层嵌套的逻辑推理

大家一定见过很多“我不知道，我也不知道，我还是不知道，我还是不知道，我知道了，我也知道了”的问题。但是，我想大家一定没有见过下面这样的问题。

A 、 B 两人在主持人 C 的带领下玩一个游戏。 C 向两人宣布游戏规则：“一会儿我会随机产生两个不同的形如 n – 1/2^k– 1/2^k+r的数，其中 n 、 k 是正整数， r 是非负整数。然后，我会把这两个数分别交给你们。你们每个人都只知道自己手中的数是多少，但不知道对方手中的数是多少。你们需要猜测，谁手中的数更大一些。”这里，我们假设所有人的逻辑推理能力都是无限强的，并且这一点本身也成为了共识。 C 按照规则随机产生了两个数，把它们交给了 A 和 B ，然后问他们是否知道谁手中的数更大。于是有了这样的一段对话。

A ：我不知道。

B ：我也不知道。

A ：我还是不知道。

B ：我也还是不知道。

C ：这样下去是没有用的！可以告诉你们，不管你们像这样来来回回说多少轮，你们仍然都没法知道，谁手中的数更大一些。

A ：哇，这个信息量好像有点儿大！不过，即使知道了这一点，我还是不知道谁手中的数更大。

B ：我也还是不知道。

A ：我继续不知道。

B ：我也继续不知道。

C ：还是套用刚才的话，不管你们像这样继续说多少轮，你们仍然没法知道谁手中的数更大。

A ：哦……不过，我还是不知道谁手中的数更大。

B ：而且我也还是不知道。我们究竟什么时候才能知道呢？

C ：事实上啊，如果我们三个就像这样继续重复刚才的一切——你们俩互相说一堆不知道，我告诉你们这样永远没用，然后你们继续互说不知道，我继续说这不管用——那么不管这一切重复多少次，你们仍然不知道谁手中的数更大！

A ：哇，这次的信息量就真的大了。只可惜，我还是不知道谁的数更大一些。

B ：我也还是不知道。

A ：是吗？好，那我现在终于知道谁的数更大了。

B ：这样的话，那我也知道了。而且，我还知道我们俩手中的数具体是多少了。

A ：那我也知道了。

那么 ， C 究竟把哪两个数给了 A 和 B ？

上面的题目明显来自于这样一个老题： C 随机产生了两个不同的正整数，分别交给了 A 、 B ，并让两人猜测谁手中的数更大。然后 A 说不知道， B 说不知道， A 说还是不知道， B 也说还是不知道，然后 A 说知道了， B 说不但知道了，而且这两个数具体是多少都知道了。问这两个数是多少。

解答过程并不复杂。首先， A 说了一个“不知道”。这当然不奇怪，一开始就说“知道了”才奇怪呢。我们不妨反过来想想，什么情况下 A 一开始就会说“知道了”呢？容易想到，这一定是因为 A 手中的数是 1 。由于 C 产生了两个不同的正整数，因此当 A 手中的数是 1 时，他就知道了 B 手中的数必然更大。然而， A 实际上说的是“不知道”，这说明 A 手中拿到的数不是 1 。也就是说， A 手中的数至少是 2 。

B 听到了 A 的回答后，也推出了这一点。那么，什么情况下 B 会立即说“知道了”呢？当然，如果 B 手中的数是 1 ，他就立即知道 A 手中的数更大了，因为 A 手中的数至少是 2 。另外，如果 B 手中的数是 2 ，他也会立即知道 A 手中的数更大——既然 A 手中的数至少是 2 ，并且又不等于自己手中的数，因而必然更大一些。当然， B 说的实际上是“不知道”，这说明 B 手中的数至少是 3 。

A 听到了 B 的回答后，也推出了这一点。但是， A 又说了个“不知道”。这说明， A 拿到的既不是 2 ，也不是 3 ，否则他都能推出 B 手中的数更大。因此， A 手中的数至少是 4 。同理，根据 B 的下一个“不知道”可以推出， B 手中的数既不是 3 ，也不是 4 ，至少是 5 。此时， A 说“知道了”。这说明， A 手中的数肯定是 4 和 5 当中的一个，他据此推出了 B 手中的数更大。但是， B 为什么能紧接着推出 A 手中的数具体是多少呢？这一定是因为， B 手中的数就是 5 ，因而能断定 A 手中的数只可能是 4 。所以， A 、 B 两人手中的数分别是 4 和 5 。

这就是旧版的题目。它和本文最开头的那个新版的题目有什么联系呢？用下面两张图来说明真是再合适不过了。在旧版的题目中，把两人手中可能的数（也就是 C 能产生出来的数）全都标在数轴上，那大概是这样：

而在新版的题目中，把两人手中可能的数（也就是 C 能产生出来的数）全都标在数轴上，则大概是这样：

你会发现这种情况非常有意思。最小的一批数是 0, 1/4, 3/8, 7/16, … ，这样数下去会有无穷多个数。但是，这无穷多个数的后面还有 1/2, 5/8, 11/16 等数，而且这一系列数本身又是无穷多的；在这无穷多个数的后面又还有 3/4, 13/16 等数，它们也有无穷多个……事实上，我们会遇到无穷多个类似于这样的无穷多个数，而最关键的就是，在这无穷多个无穷的后面，还有 1, 5/4, 11/8 等数。在新版的题目中， A 、 B 、 C 之间的游戏就是在这样的“场所”上进行的。

和旧题类似，在新题中，两人一遍又一遍地宣称自己“不知道”，本质上就是对序列 0, 1/4, 3/8, 7/16, … 从前往后进行排除。然而， C 跳出来说“这样下去是没有用的”，就意味着任何一方手上的数都不可能是该序列里的数，本质上相当于帮两人一下子排除掉了这无穷多种可能。如果此时 A 说自己“知道了”，那一定是因为他手里拿着的是除掉这无穷多个数之后剩下的最小的数，即 1/2 。然而， A 仍然说自己“不知道”，并且 B 也继续说自己“不知道”，并如此往复。此时，他们就相当于是在序列 1/2, 5/8, 11/16, … 上斗智了。而 C 又说了一遍刚才的话，本质上相当于又帮两人把这一系列数都排除掉了。两人继续开始考虑下一系列数的可能。

最后， C 告诉两人，这个模式重复多少次都不管用。于是，再下一系列的数，再下一系列的数，以及后面无穷多个系列的数，都被排除掉了。两人都知道了，他们手上的数都至少是 1 。当 A 再次说“不知道”的时候，说明他手中的数不是 1 ； B 再次说“不知道”，说明他手中的数既不是 1 也不是 5/4 ； A 说“知道了”，说明他手中的数是 5/4 和 11/8 中的一个； B 连具体的数也推出来了，说明此时 B 手上的数就是 11/8 。所以，两人手上的数分别是 5/4 和 11/8 。

本文的问题出自这里(http://jdh.hamkins.org/transfinite-epistemic-logic-puzzle-challenge/)，有改动。知道序数理论的朋友或许会意识到，这是引入序数概念的一个绝佳的例子。文中的很多细节之处缺乏形式化描述，这使得题目和解答都有商讨的空间。