Solution to the Xkcd Blue Eyes Puzzle

Jakub Kądziołka

30 January 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