さあチャレンジ! 世界一難しい論理パズル(修正あり)

130102hardestlogicpuzzle.jpg

これはNew Scientistがクリスマス特集で紹介してた世界一難しい論理学の問題です。

A、B、Cの3柱の神が召喚された。順不同で真、偽、ランダムで、真は必ず本当のことを言い、偽は必ず嘘を言う。が、ランダムが本当のことを言うか嘘を言うかは完全にランダムである。

YES/NO二択の3つの質問をし、A、B、Cの誰が真、偽、ランダムかを割り出せ。但し質問できる相手は1つの問いにつき1柱の神だけである。

神たちは英語を理解できるが、回答は神の言葉(「da」と「ja」)でする。あなたにはdaとjaのどちらがyesかnoかはわからない。

この問題の難しさは、言語のバリア、嘘、偶然という様々な要素が凝縮しているところにあります。哲学者の間では「解くことで論理それ自体の本性が露わになるパズル」と言われているわけですが、さて答えはわかるかな?

回答は米国の論理学者ジョージ・ボーロス(George Boolos)が1996年にがんで亡くなる直前に発表しました。その中でボーロスは以下4つの点を明記しています。

 

iPhoneから送信