Solution to the xkcd Blue Eyes puzzle

Maya Kądziołka 📧

January 30, 2021


In a puzzle published by Randall Munroe, 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.


BSD License


Session Blue_Eyes