世界一難しい問題の真相｜賞金1億円の未解決数学から究極パズルまで徹底解説

世界一難しい問題の真相｜賞金1億円の未解決数学から究極パズルまで徹底解説の見逃せないポイントを一挙に解説しました。

数学の専門知識を持たない一般人でもルールを完全に理解できるにもかかわらず、プロの数学者や論理学者ですら頭を抱えるのが、1996年にアメリカの論理学者・哲学者ジョージ・ブーロスが雑誌『The Harvard Review of Philosophy』に発表した「世界一難しい論理パズル」です。

3柱の神を見分ける問題設定のルール

このパズルは、論理学者レイモンド・スマリヤンが考案した騎士と悪者のパズルを発展させたもので、以下のルールで構成されています。

• 目の前に【真実の神（常に真実を語る）】、【嘘つきの神（常に嘘を語る）】、【ランダムの神（真実か嘘かを気まぐれに語る）】の3柱の神（A, B, C）がいる。
• あなたは「Yes」か「No」で答えられる質問を合計3回だけ行うことができる。
• 神々は人間の言葉を理解するが、回答には神の言語である「ja」と「da」を使用する。
• 「ja」と「da」のどちらが「Yes」でどちらが「No」なのかは事前に知らされていない。
• 質問は1人の神に複数回尋ねても、別の神に尋ねてもよい。
• 【目的】：3回の質問だけで、どの神が「真実」「嘘」「ランダム」であるかを完璧に特定せよ。

答えと解説：突破口となる「二重の不確実性」の相殺

このパズルが「世界一難しい」と呼ばれる理由は、「神の正体が不明」である点に加え、「神の言語の意味（jaとdaの正体）も不明」という二重の不確実性が組み込まれている点にあります。

解決の鍵となる答えと解説のアプローチは、「もし私があなたに〜と尋ねたら、あなたはjaと答えますか？」という反実仮想を用いた入れ子の論理式を組み立てる手法です。真偽表を巧みに設計することで、「神の言語の意味」と「真実・嘘の性質」を同時に相殺させ、確実に特定可能な確定情報を引き出します。

具体的には、第1の質問で「確実にランダムではない神（真実または嘘の神）」を特定し、第2・第3の質問でその神を基準に残りの神を暴いていくという手順を踏みます。この美しい解答手順は、形式論理学の粋を集めた芸術的解法として絶賛されています。