by tomtom2357 » Wed Jan 25, 2012 1:53 pm UTC
sfwc wrote:tomtom2357 wrote:Other three? There are only two people in the room other than you (in the above problem) so this question has no meaning.
Sorry about that. I thought we still had a knight, a knave, an anti-knight and an anti-knave. My mistake.
This should work:
Yes, your solution takes advantage of the fact that anti-knaves are reducible to knights and anti-knights are reducible to knaves when you ask a non-self-referencial question
I have discovered a truly marvelous proof of this, which this margin is too narrow to contain.