Overview
A visitor states a fact everyone can already see, and three days later three people leave the island. Nothing was learned, yet everything changed.
How to solve The Blue-Eyed Islanders
- Solve the smallest case: one blue-eyed islander sees no blue eyes at all, so the announcement identifies them immediately. They leave on night 1.
- With two, each waits one night; the other's failure to leave proves there must be a second blue-eyed person. Both leave on night 2.
- Induct: with n blue-eyed islanders, nobody leaves for n−1 nights, and that silence is the proof each of them needs on night n.
The key insight
The announcement adds no first-order fact — it adds an infinite tower: everyone knows it, everyone knows that everyone knows it, and so on. That is common knowledge, and it is strictly stronger than 'everyone knows'. Days of nobody leaving then carry real information.
Variations & echoes
- The cheating-husbands and muddy-children puzzles are the same theorem in different clothes.
- Epistemic logic formalises it with nested knowledge operators — the reason this puzzle turns up in distributed systems courses.
Frequently asked questions
How can saying something everyone knows change anything?
Because before the announcement, nobody knew that everybody knew that everybody knew it, and so on. Public speech creates that unbounded chain in one stroke, and the induction runs on it.