MHB Logic and Laughter: A Railway Tunnel Experiment

  • Thread starter Thread starter mathmaniac1
  • Start date Start date
  • Tags Tags
    Logic
mathmaniac1
Messages
158
Reaction score
0
Three scholars are riding in a railway car. The train passes through a
tunnel for several minutes, and they are plunged into darkness. When they emerge,
each of them sees that the faces of his coll~agues are black with the soot that flew in
through the open window. They start laughing at each other, but, all of a sudden,
the smartest of them realizes that his face must be soiled too. How does he arrive
at this conclusion?
 
Physics news on Phys.org
Nobody can do this?;);)
 
he touches his face?
 
Since they all start laughing they quickly realize that each of them sees at least one sooted face.

If there were two sooted faces, two of them would see only 1 sooted face.
These two would stop laughing then, knowing their face had to be sooted.

When after a while no one stops laughing, they realize all 3 faces are sooted and they stop laughing almost simultaneously.

When they have all stopped laughing they have confirmation for their analysis. $\quad \blacksquare$
 
I like serena...:D:D

But only one finds it because only he is a scholar...
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top