The Hardest Logical Puzzle Ever

The Hardest Logical Puzzle Ever ¶

원래는 레이먼드 스멀리언(논리학자, "이 책의 제목은 무엇인가"의 저자)가 만들어낸 퍼즐로, MIT 논리학 교수였던 조지 불로스(1940-1996; 그의 책으로는 리처드 제프리와 공저한 <계산가능성과 논리>가 번역되어 있다)가 해답을 제시했다.

{{|세 명의 신 A, B, C가 있고 그들은 각각 True, False, Random이라고 불리우는데, 누가 누구인지는 모른다. True는 항상 진실을 말하고, False는 항상 거짓을 말하고, Random은 "random"하게 진실과 거짓을 섞어서 말한다. 당신의 임무는 세번의 yes-no(네-아니오) 질문을 통해서 누가 A, B, C인지 알아내는 것이다. 질문을 할 때는 한 번에 한 신에게만 물어봐야 하는데, 반드시 세 명에게 모두 물어볼 필요는 없다. 신들은 한국어(혹은 영어)를 알아들을 수 있지만 모든 대답은 그들의 고유한 언어로 주어지는데, "da"와 "ja"가 그것이다. 이 단어들은 각각 "네/아니오"의 의미를 갖고 있지만, 어느쪽이 "네"이고 어느쪽이 "아니오"인지는 모른다.|}}