ミステリに不完全性定理なんて不要です - bonotakeの日記どうも、「うみねこ」作者が後期クイーン問題なるものに言及し、物議を醸しているようです。曰く、 「後期クイーン問題」とは非常に簡単に説明すると、探偵（読者）の知り得てる情報が “全て”であるとの証明が自身には不可能である、というものです。 この問題、もう少し、別のサイトで詳しく見てみると。 探偵Pは証拠A、証拠B、証拠Cという三つの証拠をもとに結論Xを導き出したとします。しかし、真実は証拠Cは犯人がわざと残した「偽の手がかかり」でした。ということは探偵が論理的にたどり着いた結論は間違えだった、ということになります。 つまり、この場合だと証拠Cは犯人が残した「偽の手がかかり」であるということを証明する証拠C´が必要となります。しかし、証拠C´の存在すら探偵はわからない。ましてや、証拠C´も犯人が残した「偽の手がかかり」だと証明する証拠C´´が存在するかもしれない…、また別の証拠Dが…、C´´´
