# Solution to the xkcd Blue Eyes puzzle

 Title: Solution to the xkcd Blue Eyes puzzle Author: Jakub Kądziołka (kuba /at/ kadziolka /dot/ net) Submission date: 2021-01-30 Abstract: 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. BibTeX: @article{Blue_Eyes-AFP, author = {Jakub Kądziołka}, title = {Solution to the xkcd Blue Eyes puzzle}, journal = {Archive of Formal Proofs}, month = jan, year = 2021, note = {\url{https://isa-afp.org/entries/Blue_Eyes.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License