一个关于数学归纳法的悖论问题

一个关于数学归纳法的悖论问题：到底是第 N 天有 N 个红眼睛自杀，还是什么都不会发生？修改

此问题最早据说是澳大利亚的华裔数学神童陶哲轩在网上贴出来让大家思考，逗大家玩儿的。
补题源：http://terrytao.wordpress.com/2008/02/05/the-blue-eyed-islanders-puzzle/
注：题源背景为蓝眼睛（100）、棕眼睛（900）。

题目是这样的。说一个岛上有100个人，其中有5个红眼睛，95个蓝眼睛。这个岛有三个奇怪的宗教规则。
1. 他们不能照镜子，不能看自己眼睛的颜色。
2. 他们不能告诉别人对方的眼睛是什么颜色。
3. 一旦有人知道了自己的眼睛颜色，他就必须在当天夜里自杀。（尊重博客原题，把原来的“知道自己是红眼睛”改成现在的“知道自己的眼睛颜色”）
注：虽然题设了有5个红眼睛，但岛民是不知道具体数字的。

某天，有个旅行者到了这个岛上。由于不知道这里的规矩，所以他在和全岛人一起狂欢的时候，不留神就说了一句话：【你们这里有红眼睛的人。】

最后的问题是：假设这个岛上的人足够聪明，每个人都可以做出缜密的逻辑推理。请问这个岛上将会发生什么？

此问题的第一个答案是用数学归纳法得出的：如果这个岛上有N个红眼睛，那么在旅行者说这句话的第N天，他们全部都会自杀。具体到本题则是，在第5天，这个岛上的5个红眼睛会全部自杀。（尊重原题，补：其他蓝眼睛在红眼睛集体自杀后，知道自己的眼睛颜色，也跟着自杀）。

证明过程如下：

如果这个岛上只有1个红眼睛，其他人都是蓝眼睛。那么，当旅行者说了这句话之后，此人立刻就会知道自己是红眼睛，他就会在当天自杀。即，当n取第一个值n0=1时，命题成立。

假设当这个岛上有N个红眼睛的时候，在旅行者说了这句话之后的第N天，这些红眼睛会全部自杀。

那么，当这个岛上有N+1个红眼睛的时候，在每个红眼睛看来，岛上都确定有N个红眼睛，并等待着他们在第N天自杀。而在第N天，大家都没有自杀。所以一到第N+1天，每个红眼睛都明白了这个岛上还有第N+1个红眼睛——他自己。于是大家都在第N+1天自杀了。

所以命题得证：如果这个岛上有N个红眼睛，那么在旅行者说这句话的第N天，他们全部都会自杀。

如果上述证明还让人有疑惑的话，也可以改用穷举法来证明。

当岛上只有一个红眼睛的时候，在旅行者说完这句话的当天，他就会自杀。这个无疑。

当岛上有两个红眼睛的时候。在旅行者说完这句话的当天，这两个红眼睛都在等着对方自杀，但对方却没有自杀。于是在第二天他们立刻明白了自己也是红眼睛，于是在第二天一起自杀了。

以此往下推理，当岛上有三个红眼睛的时候。旅行者说完这句话，每个红眼睛都在等着第二天另外两个红眼睛集体自杀，但他们没有自杀。所以到了第三天，大家都明白了自己也是红眼睛，就一起自杀了。

如此类推下去。就得出了命题：如果岛上有N个红眼睛，那么在旅行者说完这句话后的第N天，这个N个红眼睛会一起自杀。具体到本题就是，到了第五天，这五个红眼睛一起自杀。

但是，
陶哲轩说，这个旅行者事实上讲了一句废话，没有带来任何新的信息。因为这岛上有95个蓝眼睛，5个红眼睛。每个人都知道这岛上有红眼睛的人。无非是蓝眼睛的人看到有5个红眼睛，红眼睛的人看到有4个红眼睛而已。旅行者说的那句【岛上有红眼睛的人】，没有输入任何新的信息，他说的就是岛上的人每天都看到的景象。所以哪怕岛上的人思维再缜密严谨，也不会有任何自杀的情况发生。

从这个角度来说，也对呀。

于是悖论就出现了..........真的是这样吗?且听下回分解

一个关于数学归纳法的悖论问题相关推荐

一个关于数学归纳法的悖论问题-续
上篇文章讲到一个悖论,这里解开悖论的什么面纱上篇文章地址http://www.cnblogs.com/zhouyf/p/4583351.html 「游客没有输入任何新的信息」这个断言是错的. N=1 ...
用计算机创造一个虚拟世界,希望是悖论：人类世界或许是一个计算机虚拟世界，你意识到了吗？...
生命已经在地球上繁衍了约38亿年,在如此漫长的生命史上,曾经出现了很多大型物种,作为智慧物种的人类只不过是万千物种中的一个,仅有几百万年发展史的人类只能算是生命史中的一个"匆匆过客" ...
辛普森悖论 - 一个统计学上的悖论
我们平时在做重大决策的时候,比如择校啊,选专业啊,总是会参考这些比较对象的硬指标,比如它们的录取率啊,就业率啊等等.像是,哪个学校的就业率高,我们就会去报考这个学校. 统计数字可以帮助我们了解这些比较 ...
芝诺悖论：一个跑得最快的人永远追不上跑得最慢的人
这是一个非常著名的悖论,而且我相信很多人都听过.用现代的说法就是:"龟兔赛跑".这个悖论是意大利哲学家芝诺(Zenon Eleates,约公元前490年-公元前436年)提出的4个 ...
逻辑推理篇：数据分析中违背常理的悖论：辛普森悖论
在现实生活中,我们常常会遇到这样一种现象,当尝试研究两个变量是否具有相关性的时候,会分别对此进行分组研究. 然而,在分组比较中都显示非常有优势的一方,在总评时却成了失势的一方.直到1951年,英国统计 ...
计算机基础科学悖论,细思极恐的科学悖论，盘点科学史上最难解释的10大悖论...
导语:细思极恐的10大科学悖论分别是指费米悖论,祖父悖论,猴子与打字机悖论,缸中之脑,二分法悖论,点一样多,理发师悖论,飞矢不动,说谎者悖论,孪生子佯谬,下面就跟着探秘志小编一起来看看吧! 费米悖论 ...
史上最贱的数学悖论：A cup竟比C cup大？！
爱学习,勤思考:学数学,玩魔术.欢迎点击头部蓝字关注MatheMagician,这里有你要的奇迹! 直觉,这种不以人类意志控制的特殊思维方式,有时候真的挺准. 有人靠直觉躲过暗杀. 有人靠直觉推断对方 ...
消费者的“隐私悖论”与企业对消费者信息收集的合理措施 ——基于“支付宝账单事件“的思考
本文基于<中国管理案例共享中心案例库>中"支付宝账单事件:如何保护消费者信息与隐私--<ISO26000>的指引".(案例正文可以自行寻找) -- 本文未经 ...
正数的算术平均值不小于几何平均值的一个初等证明
正数的算术平均值不小于几何平均值的一个初等证明最近用到数学比较多,才发现自己的数学推导能力严重退化了.这么个简单的问题,花了我好几天时间才证明出来.这里把推导过程记录一下,顺便试试CSDN mark ...
讲座文稿 | 思维的艺术：悖论与自指【哲学与当代艺术No.23】
服务器艺术 <哲学与当代艺术>系列讲座第23期,我们邀请到北京师范大学哲学学院讲师,伦敦大学国王学院哲学博士陈龙为主讲嘉宾,以" 思维的艺术:悖论与自指"为题做主题分享 ...

一个关于数学归纳法的悖论问题

一个关于数学归纳法的悖论问题：到底是第 N 天有 N 个红眼睛自杀，还是什么都不会发生？修改

一个关于数学归纳法的悖论问题相关推荐

最新文章

热门文章