史上最も難しい論理パズル

「史上最も難しい論理パズル」は、アメリカの哲学者であり論理学者でもあるジョージ・ブーロスが1996年にハーバード哲学レビュー誌に掲載した論理パズルです。 [ 1 ] [ 2 ]ブーロスの論文には、この問題を解く複数の方法が記載されています。イタリア語への翻訳は、以前、新聞「ラ・レプッブリカ」に「L'indovinello più difficile del mondo(世界で最も難しいインド風パズル)」というタイトルで掲載されました。

それは次のように述べられています。

三柱の神 A、B、C は、順不同で、真、偽、ランダムと呼ばれます。真は常に真実を語り、偽は常に偽りを語りますが、ランダムが真実を語るか偽りを語るかは完全にランダムです。あなたの課題は、3 つの「はい」か「いいえ」で答える質問をして、A、B、C の正体を突き止めることです。各質問は、必ず一柱の神に尋ねなければなりません。神々は英語を理解しますが、すべての質問には、神々自身の言語で答えます。神々の言語では、「はい」と「いいえ」「だじゃで、順序は決まっています。どの単語が何を意味するかは分かりません。

ブーロスは次のような説明をしている。[ 1 ]一人の神に複数の質問がなされることがあり、質問はそれ以前の質問への回答に依存することが許されており、ランダムの返答の性質は、彼の脳内に隠された公平なコインを投げて決まるものと考えられるべきである。コインが表が出れば彼は真実を語り、裏が出れば嘘を語る。[ 4 ]

歴史

ブーロスは、このパズルの考案者は論理学者レイモンド・スマリヤンであり、dajaの意味が分からないという難しさを付け加えたのはジョン・マッカーシーであるとしている。スマリヤンの著作には、関連するパズルが随所に見られる。例えば、『この本の名前は?[ 5 ]では、住民の半分がゾンビ(常に嘘をつく)で、残りの半分が人間(常に真実を語る)であるハイチの島について描写している。彼は次のように説明している。「原住民は皆英語を完璧に理解しているものの、島に古くからあるタブーにより、母国語以外の言葉を話すことが禁じられているため、状況は非常に複雑になっている。そのため、イエスかノーかを尋ねると、彼らはバルと答える。どちらかがイエス、どちらかがノーを意味する。問題は、バルダのどちらがイエスで、どちらがノーを意味するのかわからないことだ。」『シェヘラザードの謎』にも、関連するパズルがいくつか登場する。[ 6 ] [ 7 ]

このパズルは「騎士と悪党」のパズルに基づいています。このパズルの舞台の一つは、騎士と悪党だけが住む架空の島です。そこでは、騎士は常に真実を語り、悪党は常に嘘をつきます。島を訪れる人は、知りたい情報を得るために、いくつかの「はい/いいえ」で答えられる質問をしなければなりません(質問の具体的な内容はパズルのバージョンによって異なります)。このパズルの一つのバージョンは、1986年のファンタジー映画『ラビリンス』のワンシーンで有名になりました。2つの扉があり、それぞれに1人の警備員がいます。1人の警備員は常に嘘をつき、もう1人は常に真実を答えます。1つの扉は城に通じ、もう1つの扉は「確実な死」に通じています。このパズルは、警備員の1人に質問をすることで、どちらの扉が城に通じているかを突き止めるというものです。映画では、主人公は「彼(もう1人の警備員)は、この扉が城に通じていると教えてくれるでしょうか?」と質問することで答えを見つけ出します。

ソリューション

ブーロスは、このパズルを紹介した同じ記事の中で、その解答を提示しました。ブーロスは、「まず最初にすべきことは、ランダムではない、つまり真か偽かのいずれかであると確信できる神を見つけることだ」と述べています。[ 1 ]この結果を達成できる質問は数多くあります。一つの戦略としては、質問に複雑な論理接続詞(二条件文またはそれと同等の構文) を用いることが挙げられます。

Boolos の質問は A に尋ねるものでした。

daは、あなたがTrueの場合のみ、BがRandomの場合のみ、yes を意味しますか? [ 1 ]

日常言語では、この文はほとんど理解できません。論理学の用語では、「もし~ならば」とは、「2つの命題は同じ真理値を持つか?」という意味です。つまり、この文は次のような論理的つながりを表現しようとしているのです。

(da = はい) NXOR (あなたは True) NXOR (B はランダム)。

別の表記法を使用すると(⊕はXOR、¬はNOTを意味します):

(da = はい) ¬⊕ (あなたは真実です) ¬⊕ (B はランダムです)。

論理的に同等なのは次の文で、日常言語でより理解しやすいものです。

次の文の奇数は真ですか: da は「はい」を意味し、真、B はランダムですか?

ロバーツ(2001)とラバーンとラバーン(2008)は、このパズルの解決法は、特定の反事実的仮定を用いることで簡略化できることを観察した。[ 6 ] [ 8 ]この解決法の鍵となるのは、どんなはい/いいえの質問Qに対しても、その質問に対して真か偽かを尋ねることである。

Qと聞かれたら、jaと答えますか?

は、Qへの真の答えが「はい」の場合、答えは ja」となり、 Qへの真の答えが「いいえ」の場合、答えは「da」となります(RabernとRabern(2008)はこの結果を埋め込み質問補題と呼んでいます)。これは、他の「はい」と「いいえ」を表す表現にも適用できます。つまり、与えられた表現が繰り返される場合、Qへの答えは「はい」となり、そうでない場合は「いいえ」となります。これは、例えばフランス語を話す神に次のような質問をすることで、直感的に容易に理解できます。

ローマはイタリアにあるかと聞かれたら、OUI と答えますか?

True と False の両方が OUI と回答します。

ローマはイタリアにあるかと聞かれたら、あなたは「いいえ」と答えますか?

これで、True と False の両方が NON と答えることになります。

どちらの場合も、TrueとFalseは質問で使用された単語を繰り返しています。これは、ローマが本当にイタリアにある場合にのみ行われます。別の答えは、ローマが他の場所にあることを意味します。OUIまたはNONをYES、NO、DA、JA(DAはロシア語で「はい」、JAはドイツ語で「はい」を意味します)などの他の単語に置き換えた場合も同様です。

これが機能する理由は、質問に対する期待される回答の論理形式を調べることでも明らかになります。この論理形式(ブール式)は以下のように展開されます(「Q」はQの回答が「はい」の場合に真、「神」は質問を受けた神が真実を語る者として行動している場合に真、「Ja」はJaの意味が「はい」の場合に真です)。

  1. 神が Q にどのように答えるかは、Qとの間の排他的論理和の否定によって決まります(Q への答えと神の性質が反対の場合、神の答えは必ず「いいえ」になり、同じ場合は必ず「はい」になります)。
    • ¬ ( Q ⊕ 神)
  2. 神が与えた答えがJaであるかどうかは、前の結果とJaの排他的論理和の否定によって再び示される。
    • з ( ( з ( Q ⊕ 神) ) ⊕ Ja )
  3. ステップ2の結果は、「もし私があなたにQと尋ねたら、あなたはjaと答えますか?」という質問に対する真実の答えを与えます。神が与える答えが何であるかは、ステップ1で使用したのと同様の推論を使用して確認することができます。
    • з ( ( з ( ( з ( Q ⊕ 神) ) ⊕ Ja ) ) ⊕ 神 )
  4. 最後に、この答えがJaDaかを調べるには、ステップ3の結果と Jaの排他的論理和の(さらにもう一つの)否定が必要になります。
    • з ( ( з ( ( з ( ( з ( Q ⊕ 神) ) ⊕ Ja ) ) ⊕ 神 ) ) ⊕ Ja )

この最後の式は、答えがJaの場合に真、そうでない場合は偽と評価されます。8つのケースは以下のように解釈されます(1は真、0は偽を表します)。

質問

答えが真であれば

Qは「はい」です

神が行動するなら真実

真実を語る者として

じゃ

真の場合の意味

はい、そうです

ステップ1

(Qに対する神の答え)

ステップ2

(ジャですか?)

ステップ3

(反事実に対する神の答え)

ステップ4

(ジャですか?)

0 0 0 1 0 1 0
0 0 1 1 1 0 0
0 1 0 0 1 1 0
0 1 1 0 0 0 0
1 0 0 0 1 0 1
1 0 1 0 0 1 1
1 1 0 1 0 0 1
1 1 1 1 1 1 1

最初の列と最後の列を比較すると、質問への答えが「はい」の場合のみ、答えがJaとなることが明らかです。 「もし私があなたにQと尋ねたら、あなたはDaと答えますか?」という質問でも同じ結果が当てはまります。なぜなら、反事実的評価はJaとDaの意味に表面的には依存しないからです。8つのケースはそれぞれ、以下のように言葉で等価に推論されます。

  • ja はyesを意味し、da はnoを意味するものとします。
  1. True は質問され、jaと答えます。彼は真実を語っているので、 Q に対する本当の答えはja、つまりyesです。
  2. Trueは質問され、「da」と答えます。彼は真実を語っているので、Qに対する真実の答えは「da」、つまり「いいえ」です。
  3. False は質問され、jaと答えます。彼は嘘をついているので、もし彼に Q と質問したら、彼はda と答えるはずです。彼は嘘をついていることになります。したがって、 Q に対する本当の答えはja、つまりyesです。
  4. False は質問され、daと答えます。彼は嘘をついているので、もし彼に Q と質問したら、実際にはja と答えるはずです。彼は嘘をついているので、Q に対する本当の答えはda、つまり「いいえ」です。
  • jaは「いいえ」を意味し、da は「はい」を意味するものとします。
  1. True は質問され、jaと答えます。彼は真実を語っているので、 Q に対する本当の答えはda、つまりyesです。
  2. Trueは質問され、daと答えます。彼は真実を語っているので、Qに対する本当の答えはja、つまり「いいえ」です。
  3. False は質問され、jaと答えます。彼は嘘をついているので、もし彼に Q と質問したら、彼は実際にはja と答えるはずです。彼は嘘をついていることになります。したがって、 Q に対する真の答えはda、つまりyesです。
  4. False は質問され、daと答えます。彼は嘘をついているので、もし彼に Q と質問したら、彼はda と答えるはずです。彼は嘘をついているので、Q に対する本当の答えはja、つまり「いいえ」です。

質問された神が嘘をついているか否かに関係なく、また、どの単語が「はい」を意味し、どの単語が「いいえ」を意味するかに関係なく、 Q に対する真実の答えが「はい」「いいえ」かを判断できます。

以下の解答は、上記の補題を用いて3つの疑問を構成している。[ 6 ]

Q1: 神Bに「もし私があなたに『Aはランダムですか?』と尋ねたら、あなたはjaと答えますか?」と尋ねます。Bがjaと答えた場合、Bはランダム(つまりランダムに答えている)か、Bはランダムではなく、答えはAがランダムであることを示しています。いずれにせよ、Cはランダムではありません。Bがdaと答えた場合、Bはランダム(つまりランダムに答えている)か、Bはランダムではなく、答えはAがランダムではないことを示しています。いずれにせよ、あなたはランダムではない神の正体を知っていることになります。
問2:前の質問(AまたはC)でランダムではないと判断された神に、「もし私があなたに『あなたは偽ですか?』と尋ねたら、あなたは『ja 』と答えますか?」と尋ねてください。彼はランダムではないので、 daと答えれば彼は真であり、 jaと答えれば彼は偽であることを示します。
問3:同じ神に「もし私があなたに『Bはランダムですか?』と尋ねたら、あなたは『ja』と答えますか?」と尋ねます。もし答えが『ja』なら、Bはランダムです。もし答えが『da』なら、まだ話していない神はランダムです。残りの神は消去法で特定できます。
場合12345678910111213141516
真実真実間違いランダム間違いランダム真実真実間違いランダム間違いランダム
B間違いランダム真実真実ランダム間違い間違いランダム真実真実ランダム間違い
Cランダム間違いランダム間違い真実真実ランダム間違いランダム間違い真実真実
はいはいはいはいはいはいいいえいいえいいえいいえいいえいいえ
じゃいいえいいえいいえいいえいいえいいえはいはいはいはいはいはい
Aは本当にランダムでしょうか? いいえいいえいいえはいいいえはいいいえいいえいいえはいいいえはい
B は「A はランダムですか?」とどのように答えるでしょうか?英語 はいどちらかいいえはいどちらかいいえはいどちらかいいえはいどちらかいいえ
彼らの言語 どちらかじゃどちらかじゃじゃどちらかじゃどちらか
質問 1 に対する B の回答 - 「「A はランダムですか?」と尋ねられたら、jaと答えますか?」」英語 はいどちらかはいいいえどちらかいいえいいえどちらかいいえはいどちらかはい
彼らの言語 どちらかじゃどちらかじゃどちらかじゃどちらかじゃ
じゃじゃじゃじゃ
したがって、__ (以下、X と呼びます) はランダムではありません。CCCCCCCC
Xは本当にFalseですか? いいえいいえはいはいはいはいいいえいいえいいえいいえはいはいはいはいいいえいいえ
X は「あなたは偽者ですか?」にどのように答えますか?英語 いいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえいいえ
彼らの言語 じゃじゃじゃじゃじゃじゃじゃじゃ
質問 2 に対する X の回答 - 「『あなたは偽ですか?』と尋ねられたら、あなたはそう答えますか?」英語 はいはいいいえいいえいいえいいえはいはいいいえいいえはいはいはいはいいいえいいえ
彼らの言語 じゃじゃじゃじゃじゃじゃじゃじゃ
したがって、X は __ です。真実真実間違い間違い間違い間違い真実真実真実真実間違い間違い間違い間違い真実真実
Bは本当にランダムですか? いいえはいいいえいいえはいいいえいいえはいいいえいいえはいいいえ
X は「B はランダムですか?」とどのように答えますか?英語 いいえはいいいえはいはいいいえはいいいえいいえはいいいえはいはいいいえはいいいえ
彼らの言語 じゃじゃじゃじゃじゃじゃじゃじゃ
質問 3 に対する X の回答 - 「「B はランダムですか?」と尋ねられたら、そう答えますか?」」英語 はいいいえいいえはいはいいいえいいえはいいいえはいはいいいえいいえはいはいいいえ
彼らの言語 じゃじゃじゃじゃじゃじゃじゃじゃ
したがって__はランダムです。CBBCBBCBBCBB
したがって、消去法によって、(文字) は (名前) になります。手紙BCBBCBBCBBCB
名前間違い間違い真実真実真実真実間違い間違い間違い間違い真実真実真実真実間違い間違い

上記と同様の表は、boolos によって提示された最初の質問が、結局のところ、Roberts と Rabern/Rabern の反事実的トリックと同じ効果と論理構造を持っていることを証明します。

ランダムの行動

ブーロスの3番目の説明では、ランダムの行動を次のように説明しています。[ 6 ]

ランダムが真実を語っているかどうかは、彼の脳内に隠されたコインを投げて結果が決まると考えるべきです。コインが表が出れば彼は真実を語り、裏が出れば嘘を語ります。

ここでは、コイン投げが各質問に対して行われるのか、それとも各「セッション」に対して行われるのか、つまり一連の質問全体に対して行われるのかは明示されていません。セッション期間中続く単一のランダム選択として解釈すれば、RabernとRabernは、Randomからでも有用な回答を抽出できることを示しています。[ 6 ]これは、回答者(この場合はRandom)が真実を語る者であろうと虚偽を語る者であろうと、Qに対する真実の回答が明確になるように反 事実的条件が設計されていたためです。

反事実的状況に直面したランダムの行動について、別の解釈が考えられます。それは、彼が頭の中でコインを投げた後、質問全体に答えるが、質問がされている間に、以前の精神状態でQの答えを導き出すというものです。これもまた、反事実的状況についてランダムに尋ねることは無意味です。もしそうであれば、上記の質問を少し変更するだけで、ランダムから常に意味のある答えを引き出す質問が得られます。変更点は以下の通りです。

もし今のあなたの精神状態でQと聞いたら、 jaと答えますか?[ 6 ]

これは、ランダムから真実を語る者と嘘をつく者の人格を効果的に抽出し、彼をどちらか一方に押し込める。こうすることで、パズルは完全に自明になる。つまり、真実の答えは容易に得られる。しかし、これはランダムが問題の正解を決定する前に、嘘をつくか真実を語るかを決めていることを前提としている。これはパズルや説明文には明示されていない。

神Aに尋ねてください。「今のあなたの精神状態で、私があなたに『あなたはランダムですか?』と尋ねたら、あなたはそう答えますか?」
  1. A がjaと答えた場合、A はランダムです: 神 B に「私があなたに「あなたは真実ですか?」と尋ねたら、あなたはjaと答えますか?」 と尋ねます。
    • B がjaと答えた場合、B は True で、C は False です。
    • Bが「da」と答えた場合、Bは偽、Cは真です。どちらの場合も、パズルは解けます。
  2. A がdaと答えた場合、A はランダムではありません。神 A に尋ねます。「私があなたに「あなたは真実ですか?」と尋ねたら、あなたはjaと答えますか?」
    • A がjaと答えた場合、A は True です。
    • A がda と答えた場合、A は False です。
  3. 神 A に尋ねます。「私があなたに「B はランダムですか?」と尋ねたら、あなたはそう答えますか?」
    • A がjaと答えた場合、 B はランダム、 C は A の反対になります。
    • A がda と答えた場合、 C はランダムであり、 B は A の反対です。

Boolos が明らかにしたように (「コインが表が出れば真実を語り、裏が出れば嘘を語る」)、元の問題を解決する過程で、明示されていないとされる仮定に頼ることなく、質問をさらに変更することで、真実の答えをエレガントに得ることができます。

もし私があなたに Q と尋ねて、あなたがこの質問に答えているのと同じくらい正直に答えるとしたら、あなたはjaと言いますか?

ここでの唯一の仮定は、ランダムが質問に答える際に、真実に答えている(「真実を語っている」)か、偽りに答えている(「偽りを語っている」)かのいずれかであり、これはブーロスの明確化に明確に含まれています。このように、ブーロスの明確化を伴う元の修正されていない問題は、「史上最も難しい論理パズル」であり、最もエレガントでシンプルな解決策を持つと見なすことができます。

ラバーンとラバーン(2008)は、ブーロスの元のパズルを修正し、ランダムが実際にランダムになるようにすることを提案している。修正とは、ブーロスの3番目の説明を以下のものに置き換えることである。[ 6 ]

ランダムが「ja」と言うか「da」と言うかは、彼の脳内に隠されたコインを投げた結果によるものと考えるべきです。コインが表が出たら「ja」、裏が出たら「da」と言うのです。

この変更により、パズルを解くには、 「解決」セクションの冒頭に示されている、より慎重な神の尋問が必要になります。

答えられない疑問と爆発する神々

ブライアン・レイバーンランドン・レイバーンは著書『史上最も難しい論理パズルの簡単な解答』[ 6 ] の中で、このパズルのバリエーションを提示している。神はパラドックスに直面しても「ja」とも「da」とも言わず、何も答えないというものである。例えば、「あなたはこの質問に、あなたの言語で「ノー」を意味する単語で答えますか?」という質問に「True」と答えても、彼は正直に答えることができない。(この論文ではこれを彼の頭が爆発する場面で表現し、「…彼らは絶対的な神々だ!彼らにはただ一つの頼みの綱、頭が爆発するしかないのだ」と述べている。)「頭が爆発する」というケースを許容することで、このパズルのさらに別の解答が得られ、3問ではなく2問だけでパズル(修正版とオリジナル版)を解く可能性が生まれる。この2問で解けるというパズルの解決策を支持するため、著者らは2問だけで似たようなより簡単なパズルを解いている。

A、B、Cの3柱の神は、それぞれゼピュロスエウロスアイオロスと呼ばれます。神々は常に真実を語ります。あなたの任務は、A、B、Cの正体を「はい」か「いいえ」で答えられる質問をすることで突き止めることです。それぞれの質問は必ず1柱の神に投げかけてください。神々は英語を理解し、英語で答えます。

このパズルは3問で自明に解けることに注意してください。さらに、このパズルを2問で解くには、次の補題が証明されます。

緩和された嘘つき補題。Aに「{[(この質問に「いいえ」と答えるつもりです)かつ(Bはゼファーです)]または(Bはユーラスです)}ですか?」と尋ねると、「はい」と答えればBはユーラス、「いいえ」と答えればBはアイオロス、そして爆発する頭部はBがゼファーであることを示します。したがって、一つの質問でBの正体を判定できます。

この補題を用いると、パズルを2問で解くのは簡単です。RabernとRabern (2008)は、同様のトリック(嘘つきのパラドックスの緩和)を用いて、元のパズルをたった2問で解きました。Uzquiano (2010)は、これらの手法を用いて、修正されたパズルを2問で解く解法を提供しています。[ 9 ] [ 10 ]元のパズルと修正されたパズルの両方に対する2問の解法は、一部の神が特定の質問に答えられないという事実を利用しています。次の質問には、TrueもFalseも答えることができません。

「ドゥシャンベはキルギスタンにありますか?」という質問に対して、ランダムさんと同じように答えますか?

修正されたランダムは真にランダムな方法で答えるため、ドゥシャンベがキルギスタンにあるかどうかという質問に対して、トゥルーもフォルスもランダムがjaと答えるかdaと答えるかを予測できない。この無知ゆえに、彼らは真実を言うことも嘘をつくこともできず、したがって沈黙を守るだろう。しかし、ランダムなナンセンスを吐き出すランダムは、jaでもdaでも問題なく答えるだろう。ウズキアーノ(2010)はこの非対称性を利用して、修正されたパズルに2つの質問による解答を提供している。しかし、神々は「ランダムの脳内でコインを投げる前からランダムの答えを予言する神託の能力」を持っていると仮定することもできるかもしれない。[ 9 ]この場合、ラベルンとラベルン(2008)で用いられたスタイルの自己言及的な質問を用いることで、2つの質問による解答は依然として可能である。

この質問にdaと答えるかどうかという質問にjaと答えますか?

ここでも、TrueとFalseはそれぞれ真実を語る、Falseは嘘をつくという約束をしているため、この質問に答えることができません。彼らは、約束された答えがdaだった場合に備えて、 jaと答えざるを得ませんが、そうすることはできません。以前と同じように、彼らは頭を爆発させてしまうでしょう。対照的に、Randomは無意識に意味不明なことを言い、ランダムにjaまたはdaと答えます。Uzquiano (2010)もこの非対称性を利用して、修正されたパズルに2問の解答を与えています。[ 9 ] [ 10 ]しかし、Uzquiano自身の修正は、Randomが「ja」、「da」、または沈黙のいずれかを選択できるようにすることでこの非対称性を排除していますが、3問未満では解くことができません。[ 11 ]

映画『マスターマインド』の冒頭シーンでは、このパズルを説明しようとする子供が登場します。

参考文献

  1. ^ a b c d Boolos, George (1996). 「史上最も難しい論理パズル」(PDF) . The Harvard Review of Philosophy . 6 : 62– 65. doi : 10.5840/harvardreview1996615 . 2023年1月30日時点のオリジナル(PDF)からアーカイブ。
  2. ^ Kazmi, Kumail (2021年4月14日). 「史上最も難しい論理パズル?(解答付き)」 . Puzzleness - パズル百科事典. Puzzleness . 2021年4月14日閲覧
  3. ^ Da はロシア語「はい」を意味し、 ja はドイツ語「はい」を意味します。
  4. ^ Boolosのパズルにおけるランダムな神は、真実を語る者か嘘つきかのどちらかとしてランダムに行動する神であることに注意されたい。これは、ランダムに「はい」か「いいえ」と答える神とは異なる。多くの論理パズルを解く際によく使われるトリックの一つは、真実を語る者と嘘つきの両方に「はい」と答えさせる(おそらく複合的な)質問を設計することである。このような質問では、真実を語る者か嘘つきかをランダムに選択した人は依然として「はい」と答えざるを得ないが、ランダムに答えた人は「はい」か「いいえ」のどちらかに答えることができる。
  5. ^スマリヤン、レイモンド(1978). 『この本の名前は何ですか?』 ニュージャージー州エングルウッドクリフス:プレンティスホール. pp.  149– 156.
  6. ^ a b c d e f g h Rabern, B.; Rabern, L. (2008). 「史上最も難しい論理パズルのシンプルな解法」(PDF) . Analysis . 68 (298): 105. doi : 10.1111/j.1467-8284.2007.00723.x .
  7. ^スマリヤン、レイモンド (1997). 『シェヘラザードの謎』 ニューヨーク: AA Knopf, Inc.
  8. ^ Roberts, TS (2001). 「史上最も難しい論理パズルについての考察」. Journal of Philosophical Logic . 30 (6): 609– 612. doi : 10.1023/a:1013344220298 . S2CID 207556092 . 
  9. ^ a b c Uzquiano, G. (2009). 「史上最も難しい論理パズルを2問で解く方法」. Analysis . 70 : 39–44 . doi : 10.1093/analys/anp140 .
  10. ^ a bブライアン・レイバーンとランドン・レイバーン。「史上最も難しい論理パズルの2問解答の擁護」 github
  11. ^ Wheeler, G.; Barahona, P. (2011). 「なぜ史上最も難しい論理パズルは3問以内で解けないのか」(PDF) . Journal of Philosophical Logic . 41 (2): 493. doi : 10.1007/s10992-011-9181-7 . S2CID 33036814 .