background preloader

Logic

Facebook Twitter

Einsteins Problem (Math Problems at Davar Web Site) The Art of Complex Problem Solving. Logical Paradoxes. Thou shalt not commit logical fallacies. The Hardest Logic Puzzle Ever. The Hardest Logic Puzzle Ever is a logic puzzle invented by American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. A translation in Italian was published earlier in the newspaper La Repubblica, under the title L'indovinello più difficile del mondo. The puzzle is inspired by Raymond Smullyan. It is stated as follows: Three gods A, B, and C are called, in no particular order, True, False, and Random.

True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, B, and C by asking three yes-no questions; each question must be put to exactly one god. History[edit] The solution[edit] Boolos provided his solution in the same article in which he introduced the puzzle. Boolos' question was to ask A: Does da mean yes if and only if you are False, if and only if B is Random?

Equivalently: If I asked you Q, would you say ja? See also[edit]