Wait, wait, wait … you’re both right. I mean you’re both wrong. The good news is, nobody has to die here.
ncarbtpmo has de-lurked to give us the concept of meta-information, but I wouldn’t exactly say it’s not new information – it really is. Well, it is in the lower end case; not in the case of N= 100.
I’d seen this riddle before but hadn’t thought about it until I saw this thread, and then played around with brown sugar and equal packets at lunch. Since I’d already poured a ton of sugar into my tea, I think they expected me to go crazy. I also only took three packets of each, which worried me when I saw I needed more than two but three works, so I’ll kill 97 or so blue-eyed folks myself. (Wait, I said nobody gets hurt. Let’s just ignore them for now).
I think it was Libertarian who once introduced some of the symbols to describe it and if he were around he’d probably do a clearer job of this. But I’ll try my best. The key to understanding this is the information that A knows that B knows, and what everybody knows. First, some terminology: Let P be some statement, and A§ mean ‘A knows P’, A->B § mean ‘A knows that B knows P’, E[P] to mean “Everybody knows P”. The meta- step takes us higher, to E[E[P]], which means “Everybody knows that everybody knows P” of course. Think about this : Just because E[P], does that logically imply E[E[P]]?
In terms of the island riddle, let P=“there is somebody with blue eyes”. With a sufficient number of blue eyes, it’s true that E[P] before the guru shows up. Then the guru shows up, and with his declaration, it is now true that E[E[P]]. That information can lead to somebody going away when it didn’t before.
However it is NOT true that for larger numbers that this is new information. In fact, it does not help any group with more than three of an eye color.
To clarify how this works, let’s look at various populations. B means an Equal packet, I mean a blue-eyed person and b means a brown-eyed person. What is seen (?) is shown in each column; note that B->B (?) means ‘a blue-eyed person knows that a different blue-eyed person sees ?’, and x is the unknown of themselves. (-- means not possible, 0 means no information). Here’s a nice big, format-ruining chart :
Population B(?) b(?) B->B(?) B->b(?) b->B(?) b->b(?) E[?] E[E[?]]
Bb b B -- x x -- 0 0
Bbb bb Bb -- bx bx Bx b 0
BBbb Bbb BBb bbx Bbx Bbx BBx Bb 0
BBBbbb BBbbb BBBbb Bbbbx BBbbx BBbbx BBBbx BBbb Bb
BBBBbb BBBbb BBBBb BBbbx BBBbx BBBbx BBBBx BBBb BB
BBbbbb Bbbbb BBbbb bbbbx Bbbbx Bbbbx BBbbx Bbbb bbb
Here’s what can be seen from the chart (hopefully): Nobody knows for any population set what color their eyes are, since they can see different things depending on what the true population is. They need more information if they are going to know. So the population starts stable.
For either the B’s or the b’s (let’s use B’s), if there are at least N>=3 of them, then E[E[there are at least N-2 B’s on the island]]. If N < 3, then there’s no information about that group that everybody knows everybody knows. So when the guru makes his statement, it does effect the small groups (with N < 3), but this is not true for the larger groups, since he really is telling them something they already know.
There are bits of information that could be given by the guru that lets people know what they are, but I’m too tired to find that out.
To extend an already overlong post, consider the point that’s been brought up ( I think by Bob Cos) when they try to work backwards. They have to say “if there were 97 blue-eyed people” but there aren’t, they know that, so any conclusion is invalid.
(6 hours ago, when I thought the solution was 100 days, I realized that anyone would know what day they were supposed to kill themselves - just count the number of blue people they see, and add one. Of course, since the solution doesn’t work out that’s not that exciting; though I wonder if it was legal for them to talk about that, since it’s not revealing their eye color but it would let others figure it out immediately.)