Solution to the xkcd Blue Eyes puzzle

Maya Kądziołka 📧

January 30, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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