site banner

Small-Scale Question Sunday for August 11, 2024

Do you have a dumb question that you're kind of embarrassed to ask in the main thread? Is there something you're just not sure about?

This is your opportunity to ask questions. No question too simple or too silly.

Culture war topics are accepted, and proposals for a better intro post are appreciated.

3
Jump in the discussion.

No email address required.

The note provides the inductive base case.

(blue, brown, note falls from the sky saying someone has blue eyes)

(1, 0, False): No information on their eyes. They never leave.

(1, 0, True): No one else could possibly have blue eyes. They leave on day 1.

(1, 1, False): Same as (1, 0, False). No one leaves.

(1, n, False): Same as (1, n-1, False). No on leaves.

(2, 0, True): On day 1, each reasons that if they are brown in (1, 1, True), the other person will leave. The other person doesn't leave. They each leave on day 2.

(n, 0, True): On day n-1, each reasons that if they are brown in (n-1, 0, True), the other n-1 people will leave on day n-1. This doesn't happen. All n people leave on day n.

(2, 0, False): On day 1, each reasons that whether they are blue or brown in (1, 1, False), the other person will never leave. The other person does not leave. This gives no information. No one ever leaves.

Etc