Thanks to
yendi letting me know it existed I now have Raymond Smullyan’s latest book, The Magic Garden of George B. And Other Logic Puzzles. I didn’t realize it at the time, although I should have from the title, but this book covers Boolean algebra. A topic which I have an interest in personally and a bit professionally.
In searching for some links and references for this post I found a blog on MySpace that purports to belong to Raymond. It might be, I don't know. What I do know is I was intrigued by a logic puzzle posted there and I thought some who read my scratchings might also be interested. It’s certainly something to occupy your mind during otherwise boring times.
In 1992, George Boolos called the following “the hardest logic puzzle ever.” I figured that people here would especially like it. It’s certainly a Raymond Smullyan inspired puzzle and goes as follows.
“Three gods A, B, and C are called, in some 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. The gods understand English, but will answer all questions in their own language, in which the words for yes and no are ‘da’ and ‘ja’, in some order. You do not know which word means which.”
Just for the sake of clarity, George Boolos gives the following four clarifications: (1) It could be that one god gets asked more than one question (and thus, some god is not asked any question at all). (2) What the second question is, and to which god it is put, may depend on the answer to the first question (likewise, for the third question). (3) Whether Random speaks truly or not should be thought of as depending on the flip of a coin hidden in his brain: if the coin comes down heads, he speaks truly; if tails, falsely. (4) Random will answer ‘da’ or ‘ja’ when asked any yes-no question.
Good luck!