xkcd,蓝眼睛“悖论”：史上最吊诡的逻辑游戏
xkcd,蓝眼睛“悖论”：史上最吊诡的逻辑游戏
敢于探索，好奇才有可能征服世界。美国科普漫画家兰道尔·门罗这两年很红，兰道尔·门罗曾经是前NASA（美国国家航空航天局）的机器人研究员，2006年他成为全职的网络漫画家，并开设了个人网站xkcd．com。
这是著名的数学家陶哲轩（Terence Tao）在自己的博客上最先贴出来的 [1] 。这个问题有很多版本 [2] ，我选择了一个最适合我们讨论的版本。
某个岛上住着100个岛民，有40人是蓝眼睛，60人是红眼睛。他们全都虔诚地信奉一种神秘的宗教。这种宗教规定：不管谁以任何方式知道了自己眼睛的颜色，他就必须在第二天正午，当着所有岛民的面，在岛的广场中心自杀。
另外，还有下面几点事实：
（1）岛民能看到别人眼睛的颜色，但是禁止以任何方式谈论别人或自己眼睛的颜色；岛上也没有任何东西（比如镜子或者水面）能让他们看到自己眼睛的颜色。
（2）每个岛民都拥有完美的数学和逻辑能力（也就是说，他们数数不需要时间，用逻辑推出任何可能的结论也不需要时间）。
（3）所有人都虔诚地信奉这个宗教，而且所有人都知道所有人都虔诚地信奉。
（4）所有岛民都知道世界上只有两种颜色的眼睛，蓝和红；并且大家都知道岛上既有蓝眼睛，也有红眼睛。
（5）岛民并不知道一共有40个蓝眼睛和60个红眼睛，因为他不知道自己眼睛的颜色。但是他们知道其他所有人的眼睛的颜色。
答案 论证
这个问题之所以像“悖论”，是因为从两个不同的方面看，会得出不同的答案 [1,3,4] 。
答案1 ：这个外来人说话之后，什么也不会发生。因为他说的那句话是所有岛民都已经知道的事实（题设4）。所以他说或者不说这句话，都不会改变岛上的任何情况。
答案2 ：40天之后的正午，所有的蓝眼睛岛民一起自杀，第41天正午，所有的红眼睛岛民一起自杀。
论证 答案2 ：
“悖论”
这两个不同的答案看起来都是合理的，所以像一个悖论。但我们一定是错过了什么东西，正确的逻辑推理不可能同时给出两个不同的答案？
事实上，只有答案2是正确的。为什么呢？
这牵涉到一个概念叫“公共知识”（common knowledge）。在一群人之中，如果每个人都知道某个事实P，那么可以称P为知识；如果每个人都知道每个人都知道这个事实P，才可以将P称为公共知识。
很多人都说 [5,6,7] ，包括陶哲轩教授 [1] ，这个问题之所以不是悖论，是因为答案1的论证是错误的。这个外来者的宣布使得“岛上有蓝眼睛”这件事从知识（大家都知道的事）变成了公共知识，即大家都知道大家知道。而从“知识”变到“公共知识”，这正是这个外来者的宣布所带来的改变。所以答案1的论证是错误的。
但是，我想说明的是：
如果我们在题设（4）中加上：大家都知道大家都知道岛上既有蓝眼睛，也有红眼睛。那么外来者的宣布确实并没有带来新信息，而且答案2的论证也同样正确。“悖论”还是产生了。
同步 离散
真正的解释应该是：
如果岛民从不同的时间点开始逻辑推理，答案2的论证是无法成立的。
设想这种情况，岛上有A、B两个蓝眼睛，C、D、E三个红眼睛，当外来者宣布有蓝眼睛之后，A马上就开始推理，但是B从第二天正午开始推理，并且A和B并不交流他们各自从什么时候开始推理。这种情况下，答案2的论证就不能成立，也就没有人会自杀。值得一提的是，如果A和B知道他们各自从什么时候开始推理，那么仍然可以采用类似答案2的论证。但是这种情况就相当于用已知的事实设置了一个“同步钟”。
（一个题外话。从“同步钟”可以推出题设所隐含的一个事实：至少有1个岛民开始信奉这个宗教的时间是与其它人不一样的。不然的话，在以往的时间里，岛民就都已经自杀了，这个逻辑游戏也就不存在了。）
使答案2的论证成立的 另外一个必要条件是“推理的离散性” ，这个条件由题设里面的“正午”所保证。因为岛民自杀的时间是在每天正午，所以推理是离散的。
试想，如果不是每天正午自杀，而是宣布之后，每隔12小时有一个可能自杀的窗口时间，那么对于这个问题，40个蓝眼睛会在12 * 40个小时之后全部自杀；
如果每隔1小时有一个窗口时间，那么40个蓝眼睛会在40个小时之后全部自杀；
如果每隔1秒钟有一个窗口时间，那么40个蓝眼睛会在40秒之后全部自杀；
以此类推。
所以，每隔时间t有一个窗口时间自杀的话，那么40个蓝眼睛会在40 * t之后全部自杀。
但是，t虽然可以很小很小，但是不能等于0。如果t = 0的话，是无法完成推理的。
试想上面ABCDE（AB是蓝眼睛，CDE是红眼睛）的情况。按照原来的逻辑，外来人宣布0秒钟后，如果A设想自己是红眼睛，那么他会觉得B会在0秒之后（即，立刻）自杀，但是显然B不会，所以A立刻会意识到自己的猜想不对，会觉得自己一定是蓝眼睛，所以立刻自杀。B看见A自杀了之后会觉得A是因为觉得自己是红眼睛而自杀的，所以B就不会自杀了。
因为这些事都是“立刻”发生的，所以我们可以把A、B的行为顺序倒过来，B会立刻自杀，而A不自杀。这样就得出了两个相反的结论，所以这个推理不可能是正确的。
“离散”在推理中的重要性？
一想到逻辑操作，我会理所当然地觉得它是一步一步的，离散的。从来没有想过它如果是连续的会怎样，也没有很好的思想实验。但是这个“悖论”倒是提供了一个很好的思想实验，让我们意识到“离散性”在逻辑操作中的重要性。
如果一个函数在某点的值和它的极限值是相同的，我们说它是“可微的”，否则是“不可微的”。那么，正如这里t趋近于无穷小和t = 0会导致两个完全不同的结论，我们是不是可以说： 逻辑操作是不可微的？
“逻辑”跟“离散”会不会还有更深层次的连接？
参考文献
[1] 陶哲轩教授的博客
[2] xkcd的版本
[3] xkcd的总结
[4] 知乎上关于该“悖论”的讨论
[5] 关于“公共知识”的维基百科
[6] 李永乐老师的关于该“悖论”的视频
[7] 另外一个关于该“悖论”的讨论
附：
还有一个看似悖论的地方 [2,3] ，这是xkcd提出的问题：在第一天、第二天、第三天等等的正午，每天都没有人自杀，所以好像并没有新的信息出现，那么到底岛民们每天在等待的是什么呢？为什么40个蓝眼睛要等到第40天正午才自杀？
这个问题跟“同步”和“离散”无关，也不是一个悖论。我们通过下面的论证来让这个问题更清楚地呈现出来（其实仔细思考上文的论证，也能发现每天确实是有新信息的，只是不太容易看清楚而已）。
我们现在考虑一个简单的例子，有ABC三个蓝眼睛（用0表示蓝）和DEF三个红眼睛（用1表示红）。从外来者宣布的那一刻，A就会先想像出2个世界，一个世界中A自己是0，另一个世界中A自己是1；在A是0的世界中，B会想像出2个世界，其中一个B自己是0，另一个是1；在A=0，B=0的世界里C会想像他自己是0或者1；以此类推。所以，最终在A的脑子里实际上出现了2^6 = 64个假想的世界，全部列出来就是（第一个数字表示A的眼睛颜色，第二个数字表示B，以此类推），
000000 ，000001，000010，000011，000100，000101，000110，000111，
001000，001001，001010，001011，001100，001101，001110，001111，
010000，010001，010010，010011，010100，010101，010110，010111，
011000，011001，011010，011011，011100，011101，011110，011111，
100000，100001，100010，100011，100100，100101，100110，100111，
101000，101001，101010，101011，101100，101101，101110，101111，
110000，110001，110010，110011，110100，110101，110110，110111，
111000，111001，111010，111011，111100，111101，111110， 111111 。
（实际上就是二进制数字从0到63。000000和111111不符合题设，所以划去了。）
推理开始之后，第一天正午没人自杀，A会意识到只有1个0或者1个1的世界是不合理的，将之划去，剩下：
000000 ， 000001 ， 000010 ，000011， 000100 ，000101，000110，000111，
001000 ，001001，001010，001011，001100，001101，001110，001111，
010000 ，010001，010010，010011，010100，010101，010110，010111，
011000，011001，011010，011011，011100，011101，011110， 011111 ，
100000 ，100001，100010，100011，100100，100101，100110，100111，
101000，101001，101010，101011，101100，101101，101110， 101111 ，
110000，110001，110010，110011，110100，110101，110110， 110111 ，
111000，111001，111010， 111011 ，111100， 111101 ， 111110 ， 111111
第二天正午也没人自杀，A会意识到只有2个0或者2个1的世界是不合理的，将之划去，剩下：
000000 ， 000001 ， 000010 ， 000011 ， 000100 ， 000101 ， 000110 ，000111，
001000 ， 001001 ， 001010 ，001011， 001100 ，001101，001110， 001111 ，
010000 ， 010001 ， 010010 ，010011， 010100 ，010101，010110， 010111 ，
011000 ，011001，011010， 011011 ，011100， 011101 ， 011110 ， 011111 ，
100000 ， 100001 ， 100010 ，100011， 100100 ，100101，100110， 100111 ，
101000 ，101001，101010， 101011 ，101100， 101101 ， 101110 ， 101111 ，
110000 ，110001，110010， 110011 ，110100， 110101 ， 110110 ， 110111 ，
111000， 111001 ， 111010 ， 111011 ， 111100 ， 111101 ， 111110 ， 111111
然后，将剩下的世界跟自己观察到的世界比较。自己观察到的世界是?00111，那么就只能发现000111是合理的了。所以就能判断自己一定是蓝眼睛0.
所以，每过一天没有人自杀，确实会得到新信息，这个新信息用来判断有些假想的世界是不合理的。
睡觉之前读书是一个很好的习惯。因为忙碌的一天过后，洗漱完坐在床上拿起喜欢的书籍来看，是一件很放松的事情。而且夜深人静的时候读书，阅读之后产生的思考会更加清晰。我是这么感觉的。
现在来说说我个人认为一些适合睡觉之前看的书籍。
1.解忧杂货店
这是东野圭吾先生的不同于其他风格的一本佳作。
在一条僻静的道路上，有一家陈旧的杂货店。门口有一个信箱，人们把自己的烦恼写在纸上，然后投递进去，第二天就能得到回复。然后就因为这样一个渠道，不同时代的人们因此产生了联系。年轻女孩月兔的爱情故事，深夜的口琴声。在思域车上等到天亮.........
这些故事极大的温暖治愈了人们的心灵。你会感觉到，没有人会孤独地走在这个世界上。人与人之间总会互相支撑的。
2.当我谈跑步时，我谈些什么。
村上春树先生是我很喜欢的作家。读他的书，你总会有些收获。
这是一本自传。读这本书的时候，你会从中感受到作者对生活的认真与追求。
当他决定开始做一件事情，他就会非常认真严格的开始做，开始要求自己。无论是大学刚毕业经营酒吧，把酒吧从入不敷出经营到上了轨道，还是打算开始写作便把酒吧关掉的决定，又或者是把跑步变成生命中的一部分，把运动当成生活中必不可少的信念，都会深深感染着你。
3.偷影子的人
法国作家马克李维以他一贯的温柔风趣的风格创作的小说。
里面有感人至深的亲情。浪漫可人的爱情。互相支持，不离不弃的友情，在这部小说里面你都可以感受得到。
这是一部奇妙的小说。作者从小时候便发现了自己的可以偷别人影子的能力。通过他人的影子可以知道对方心里最真实的想法。
你会发现让作者强大的原因不是因为他偷影子的能力，最关键在于他强大的内心。
4.追风筝的人
相信大家都知道这本书，因为这本书真的太出名了。
卡勒德·胡赛尼作家写的这个真实的故事，让全世界的人看到了战争之前真实的阿富汗和阿富汗人。这本书中所传达的东西实在是太多了。
阿米尔和他父亲之间的感人的亲情。和哈桑一开始的友情以及背叛哈桑所产生愧疚。之后对这份愧疚所做出的补偿。
这是一本关于人性的追求与救赎的书。里面的故事情节会让你震撼不已。里面的话语与想法会直击你的内心。
还有其他很多书，比如村上春树先生的挪威的森林。海边的卡夫卡。唐七公子的华胥引。王小波先生的爱你就如爱生命等等，都是一本又一本好书。
你好~
这种情况主要原因是硬盘与1.1补丁冲突原因！！！
@解决方法很简单：楼主不需要重新安装游戏，只要打上免CD补丁就又可以进行游戏啦~~
仙剑奇侠传4免CD补丁
最后提醒楼主：切记~要先打1.1补丁再用免CD补丁！！！
实在不行就重新安装游戏吧！
祝你玩得愉快~~~
