在这种情况下,回到三人情况,
假设A、B为红眼,C为蓝眼
在旅行者说过以后,每个人都知道,剩下的人都知道岛上必然存在至少一个红眼。
A假设自身是红眼,A由此推断,在此基础上,B就应该看到了一红一蓝,C就应该看到了两红。
此时A认为,
如果B也假设B是红眼,那么B就推断出,A此时应当看到了一红一蓝,且A知道岛上必然存在至少一红,但A无法由此推断A自身是红是蓝,故A无法决定自身是否要自杀;且B推断出,C此时应当看到了两红,且C知道岛上必然存在至少一红,但C无法由此推断出C自身是红是蓝,故C无法决定自身是否要自杀。
所以A得出结论,B会推断出A和C无法推断各自,所以B会假设什么事情都不会发生。
此时A认为,
如果C假设C是红眼,那么C就推断出,A此时应当看到了两红,且A知道岛上必然存在至少一红,但A无法由此推断A自身是红是蓝,故A无法决定自身是否要自杀;且C推断出,B此时应当看到了两红,且B知道岛上必然存在至少一红,但B无法由此推断B自身是红是蓝,故B无法决定自身是否要自杀。
所以A得出结论,C会推断出A和B无法推断各自,所以C会假设什么事情都不会发生。
C假设自身是红眼,C由此推断,在此基础上,A和B应该都看到了两红。
此时C认为,
假设A也假设A是红眼,那么A就推断出,B此时应当看到了两红,且B知道岛上必然存在至少一红,但B无法由此推断B自身是红是蓝,故B无法决定自身是否要自杀;且A推断出,C此时应当看到了两红,且C知道岛上必然存在至少一红,但C无法由此推断出C自身是红是蓝,故C无法决定自身是否要自杀。
所以C得出结论,A会推断出B和C无法推断各自,所以A会假设什么事情都不会发生。
此时C认为,
假设B也假设B是红眼,那么B就推断出,A此时应当看到了两红,且A知道岛上必然存在至少一红,但A无法由此推断A自身是红是蓝,故A无法决定自身是否要自杀;且B推断出,C此时应当看到了两红,且C知道岛上必然存在至少一红,但C无法由此推断出C自身是红是蓝,故C无法决定自身是否要自杀。
所以C得出结论,B会推断出A和C无法推断各自,所以B会假设什么事情都不会发生。
然后,日子一天天过去了,每天都没有事情发生,只有“所有人都假设自己是红眼”这个假设在被验证着:两个红眼人都假设其他红眼人能看到一红一蓝,而蓝眼人能看到两红;蓝眼人假设两个红眼人都能看到两红。
要不要再退一步,我们回到只有两个红眼人的情况:
假设A、B为红眼
在旅行者说过以后,每个人都知道,剩下的人都知道岛上必然存在至少一个红眼。
A假设A是红眼,且假设B也假设B是红眼。
B假设B是红眼,且假设A也假设A是红眼。