Email Gateway (Feb 01 2021 at 17:24): Email Gateway (Feb 01 2021 at 17:24):From: Manuel Eberl <eberlm@in.tum.de>
We now have this lovely little gem of epistemic logic:
Solution to the xkcd Blue Eyes puzzle
by Jakub Kądziołka
In a puzzle published by Randall Munroe [1], perfect logicians forbidden
from communicating are stranded on an island, and may only leave once
they have figured out their own eye color. We present a method of
modeling the behavior of perfect logicians and formalize a solution of
the puzzle.
[1]: https://xkcd.com/blue_eyes.html
https://www.isa-afp.org/entries/Blue_Eyes.html
Enjoy,
Manuel
Last updated: Apr 19 2024 at 04:17 UTC