4 ms·

Why can't they synchronize at any other moment? They already knew N is either 99 or 100 even before the visitor came.

millstone 11y ago
Consider the case of 2 blue eyed people, Ben and Betty. Everybody knows there is at least one blue eyed person. But does everybody know that? That is, does everybody know that (everybody knows there is one blue eyed person)? From Ben's perspective, Betty might be the only blue-eyed person, so Ben does not know if Betty knows there is at least one blue eyed person. This is important because Ben needs to correlate Betty's actions with her knowledge; he can't do that if he doesn't know what her knowledge is. After the traveler's announcement, Ben knows that Betty knows there is at least one blue eyed person. This is the new information. And with three people, we add another layer: Ben does not know if Betty knows that Bobby has blue eyes. And so on. The visitor's announcement is special because it is infinitely layered. Everyone knows one person has blue eyes, and everyone knows that everyone knows, and so on, ad infinitum. This is called common knowledge: https://en.wikipedia.org/wiki/Common_knowledge_(logic) https://en.wikipedia.org/wiki/Common_knowledge_(logic)). Though to be fair, this isn't explicitly stated: the traveler "addresses the entire tribe" but it's critical that everyone in the tribe knows this is common knowledge. Merely addressing the entire tribe is not enough: if the traveler's announcement was in the form of a BCC mass mailing, there would be no new information and so no suicides.
- knughit 11y ago
  It isn't infinitely layered! It is N-layered, which is critical.
daxfohl 11y ago
"synchronize" is a bit vague. It can be made more precise. Simply put, it sets the initial condition in the recursion. Before someone says "there is a blue eyed person here", the initial condition in the recursion does not hold. The islanders are not allowed to say it so the visitor was the first one to make the statement. If indeed one of the islanders said it (whether blue or brown eyed) the condition would hold as well and the recursion would follow too. However none of them can talk about it.

Consider the case of 2 blue eyed people, Ben and Betty. Everybody knows there is at least one blue eyed person. But does everybody know that? That is, does everybody know that (everybody knows there is one blue eyed person)? From Ben's perspective, Betty might be the only blue-eyed person, so Ben does not know if Betty knows there is at least one blue eyed person. This is important because Ben needs to correlate Betty's actions with her knowledge; he can't do that if he doesn't know what her knowledge is. After the traveler's announcement, Ben knows that Betty knows there is at least one blue eyed person. This is the new information. And with three people, we add another layer: Ben does not know if Betty knows that Bobby has blue eyes. And so on. The visitor's announcement is special because it is infinitely layered. Everyone knows one person has blue eyes, and everyone knows that everyone knows, and so on, ad infinitum. This is called common knowledge: https://en.wikipedia.org/wiki/Common_knowledge_(logic) https://en.wikipedia.org/wiki/Common_knowledge_(logic)). Though to be fair, this isn't explicitly stated: the traveler "addresses the entire tribe" but it's critical that everyone in the tribe knows this is common knowledge. Merely addressing the entire tribe is not enough: if the traveler's announcement was in the form of a BCC mass mailing, there would be no new information and so no suicides.

knughit 11y ago
It isn't infinitely layered! It is N-layered, which is critical.

daxfohl 11y ago

"synchronize" is a bit vague. It can be made more precise. Simply put, it sets the initial condition in the recursion. Before someone says "there is a blue eyed person here", the initial condition in the recursion does not hold. The islanders are not allowed to say it so the visitor was the first one to make the statement. If indeed one of the islanders said it (whether blue or brown eyed) the condition would hold as well and the recursion would follow too. However none of them can talk about it.