我昨天才在厦门大学吧那里发过

让我复制一下~
我按我的理解来顺一遍吧~
我们把五个红眼分成1 2 3 4 5号
注意,下面的论证的主语都是1号
1号的视野:看到4个红眼。
1号猜测2号的视野:看到3个红眼(1号不知道自己是红眼,所以所有以1号为主语的猜测都不会认为1号是红眼,而1号也知道2号不知道自己是红眼,所以1号的猜测中不会让2号把自己算上,后面都是同样的原理)
1号猜测2号猜测3号的视野:看到2个红眼(加深理解,1号不知道自己是红眼,1号知道2号不知道自己是红眼,1号知道2号知道3号不知道自己是红眼)
1号猜测2号猜测3号猜测4号的视野:看到1个红眼。
1号猜测2号猜测3号猜测4号猜测5号的视野:我看到的都是蓝眼,但是外来人说我们这有红眼,所以我是红眼,所以今晚我要自杀。(注意哦,这里就是有无外来人的区别所在了,在没有外来人的世界线,1号猜测2号猜测3号猜测4号猜测5号的视野里,5号看到的全是蓝色,而且他也不知道岛上是否有红眼,所以他无法确认自己是否是红眼,他也就无需自杀)
但是第一天5号没自杀,所以4号(那一串猜测我略去了啊)知道自己是红眼,3号知道4号知道自己是红眼,所以3号猜测4号晚上会自杀,但第二天4号也没自杀,所以3号也知道自己是红眼,2号知道3号知道自己是红眼,以此类推,到了第五天,五个人都会自杀(为什么是五个人呢,因为虽然我论证的时候分了1 2 3 4 5号,但是实际上五个人都是把自己作为1号,把其他人视做2-4号进行了我上述的论证,所以他们全都会在第五天知道自己是红眼)
至于其他蓝眼人呢,他们也在进行我上述的套娃论证,不过在第五天晚上,红眼人都自杀了,他们的论证就结束了,剩下的蓝眼人都知道自己不是红眼人了~