Clarification on eye color island puzzle; how can a blue eyed person deduce themselves to be blue eyed

logicpuzzle

I don't know where else to ask this, but I don't really understand one part in the famous eye color island question/puzzle. Here is an example of the question/puzzle on mathematics stack exchange:

This puzzle is obviously not mine and is famous, including being on Wikipedia.

Eye color probability puzzle

In the correct answer, I have a problem with this statement about the case where there are two blue-eyed islanders:

After no one leaves on the first day, each blue eyed person can correctly deduce that the other blue eyed person must have seen someone with blue eyes, and it must be themselves.

How can the blue eyed person deduce that the other blue eyed person saw themselves as blue eyed? What if a brown eyed person deduced that?

One way I can see how the blue eyed person could deduce they must have blue eyes if no one left on the first day was if they knew the number of brown eyed people on the island. Then they could deduce there must have been someone else with blue eyes. But if they knew the number of brown eyed people, and they knew the number of people, then they would know the number of blue eyed people, which would be extra information (knowing the number of blue eyed people on the island) inconsistent with the original puzzle.

Can anyone explain it to me in simple English terms?

Best Answer

Let's say there are two blue-eyed people Alice and Bob, and one brown-eyed person Charlie. Let's consider what happens from Alice's persective, and then from Charlie's perspective.

Alice knows that Bob has blue eyes, and Charlie has brown eyes. Alice doesn't know her own eye color, but she can go through the following reasoning. If Alice had brown eyes, then Bob would be the only blue-eyed person on the island. So, it would be news to Bob that there is a blue-eyed person, since he's only seen people with brown eyes before. Therefore Bob would deduce he must have blue eyes, and would leave on the first day.

So, after Alice sees Bob not leave the first day, Alice deduces that she must have blue eyes, since if she didn't then Bob would have left.

You then ask, why can't Charlie go through the same reasoning? Let's look at Charlie's perspective. He knows that both Alice and Bob have blue eyes. Moreover, he knows that Bob knows Alice has blue eyes. So he knows Bob won't be surprised to learn there's someone with blue eyes--he's already seen Alice's eyes! The fact that Bob doesn't leave the first day therefore doesn't tell Charlie anything new, since he already knew Bob wouldn't leave.

In other words, the difference between Alice and Charlie's perspective is that Alice thinks Bob could be the only blue-eyed person, while Charlie knows that he isn't. When Bob doesn't leave, this tells them that Bob isn't the only blue-eyed person (so that Bob already knew someone has blue eyes), which is new information to Alice but not to Charlie.