Island of the Variously Tall Logicians
Posted by Rob Herman at August 10th, 2006
As promised, an extension of the Island of the Logicians riddle. Intrepid reader John Rhoadhouse and I seem to have a solution (the credit is mostly his) but are not 100% convinced. So here you go.
As before, there are 100 logicians on an island. This time, instead of distinctively colored eyes, each logician has a dot, red or blue, on top of their head. Furthermore, the logicians are all different heights. Each logician can see the dot on the top of every shorter logician’s head, but not the dot on any taller logician.
As in the previous riddle, every night at midnight, a ferry comes and takes away any logician that knows the color of his or her own dot; and logicians don’t talk about the color of one another’s dots.
One day, in a crash of lightning, a stone tablet appears. This time it has two statements. Both are true. The first one is: “This information will enable all of you to leave the island.”
The riddle is, if you can, to find a second true statement that enables all of the logicians to leave the island, but not all on the first night. You may distribute the red and blue dots however you wish. If this cannot be done, and John and I believe it cannot, explain why.
If you’re having a tough time trying to wrap your head around this, you’re not alone. Consider the statement: “Exactly one of you has a red dot.” What you will discover is that if both statements on the tablet are to be true, only the shortest logician is allowed to have a red dot! Since the logicians know this, they are all able to leave the first night.
It’s maddeningly tempting to forget about the first statement on the tablet, especially since it’s easy to come up with configuration/statement pairs that allow everyone to leave the island.
This seems to be related to the paradox of a professor who promised to give his students a surprise quiz at some point the following week. The students’ reasoning goes like this:
- The quiz can’t be on Friday, because if Thursday rolled around and the quiz still hadn’t been given yet, it wouldn’t be a surprise.
- So the quiz can’t be on Thursday; because if Wednesday rolled around and the quiz still hadn’t been given, since Friday has been eliminated, the test would have to be on Thursday. But then the quiz wouldn’t be a surprise.
- So the quiz can’t be on Wednesday, because if Tuesday rolled around and the quiz still hadn’t been given, it would have to be Wednesday because Thursday and Friday are out. But then the quiz wouldn’t be a surprise.
- …And so on for Tuesday and Monday, and the students determine that a surprise quiz cannot be given at all.
This paradox derives from an unusually literal meaning of the idea of “surprise,” but has the same idea that the advance knowledge that something will happen affects its ability to happen in that way.