インターネット上には「東大生でも解けないクイズ」や「とんちの利いた激ムズなぞなぞ」が無数に存在しますが、学術的な厳密さにおいて世界一と認定されている問題は明確に存在します。それが、マサチューセッツ工科大学（MIT）などで教鞭を執った哲学者・論理学者のジョージ・ブーロス（George Boolos）が、1996年に哲学誌『The Harvard Review of Philosophy』へ寄稿した「The Hardest Logic Puzzle Ever（史上最も難しい論理パズル）」です。
ブーロス自身が「これ以上難しいパズルを作ることは不可能に近い」と自負した問題の設定は、一見するとシンプルでありながら、人間の脳の処理限界を軽々と超える冷徹なルールで構成されています。
【3人の神様問題（The Three Gods Problem）の概要】 あなたの前に、姿形が全く同じ3柱の神「A」「B」「C」が並んでいる。
彼らはそれぞれ「真実の神（True）」「嘘つきの神（False）」「気まぐれの神（Random）」であり、誰がどの神であるかは分からない。
・真実の神は常に真実を答える。
・嘘つきの神は常に嘘を答える。
・気まぐれの神は、真実を言うか嘘を言うかを「完全にランダム」に決める（コイン投げのように）。
あなたは神々に「はい／いいえ」で答えられる質問を合計3回だけ行い、A・B・Cの正体を特定しなければならない。各質問は一度に1柱の神にのみ行える。
ただし最大の障壁として、神々は人間の言語を理解できるものの、独自の神託言語である「da」と「ja」でしか返答しない。「da」と「ja」のどちらかが「はい」で、どちらかが「いいえ」を意味するが、どちらがどちらを意味するのかも人間には分からない。
この問題の正解率が0.1％未満に留まる最大の要因は、難易度を底上げする複数の要素が同時に絡み合っている点にあります。嘘つきと正直者を判別する論理パズル（レイモンド・スマリヤン的な古典問題）は古くから親しまれてきましたが、ブーロスはそこに「気まぐれ（完全な不確定性）」と「言語の意味不明性（da/jaの未確定）」という強烈なブラインドフォールドを重ね合わせました。この複合トラップこそが、世界最高峰の頭脳たちを沈黙させた理由です。
