会話をしていて、「存在しないことの証明は（悪魔の証明だから）難しい」という表現を聞くことがあります。
\n私は「存在しないことの証明は難しいとは限らない」と考えているので、その考えをまとめておきます。
\n「存在しないことの証明は（悪魔の証明だから）難しい」とよく言われます。
\n例えば「宇宙人が存在しないことを証明しろ」というのは難しいですね。\n宇宙を端から端まで調べない限り証明できないからです。
\nこのように、存在しないことを証明するのは、端から端まで調べる必要があるから難しい、と言われることがあります。\nそれを「悪魔の証明」と呼ぶのもよく聞きます。
\nしかし、存在しないことを証明するのは、必ずしも難しくないのです。
\nたとえば、中学生・高校生レベルの数学で、「◯◯が存在しないことを証明せよ」という問題は定番ですね。\n「10の倍数に奇数がないことを証明せよ」と言われたら、簡単に証明できます。
\nまた、私はITエンジニアですが、コンピュータの領域でも存在しないことを証明されているものはたくさんあります。\n有名な例としては「停止性問題」があり、「あらゆるアルゴリズムが有限時間で停止するか判定できるアルゴリズムは存在しない」ことが証明されています。
\nこのように、数学や科学の文脈では、存在しないことの証明は必ずしも難しくないのです。
\n（もちろん、存在しないことを証明するのが難しい場合もあります。たとえば「四色問題」が挙げられるでしょう）
\nそもそも「悪魔の証明」とはなんなのでしょうか？
\nWikipedia には、以下のように書かれています。
\n\n\n悪魔の証明（あくまのしょうめい、ラテン語：probatio diabolica、英語：devil’s proof）とは、証明することが不可能か非常に困難な事象を悪魔に例えたものをいう。中世ヨーロッパのローマ法の下での法学者らが、土地や物品等の所有権が誰に帰属するのか過去に遡って証明することの困難さを、比喩的に表現した言葉が由来である。
\n
引用元: https://ja.wikipedia.org/wiki/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E
\n一言で言えば、法的な争いでの証明の話（とくに権利の証明の話）なんですね。
\n「悪魔の証明」というのは、決して数学的・科学的に認められた法則ではないのです。
\nということで、私は “数学や科学の話で「存在しないことの証明は（悪魔の証明だから）難しい」と言うのはやめよう” という意見を持っています。
","fields":{"slug":"/posts/stop-using-probatio-diabolica","tagSlugs":["/tag/proof/"],"autoRecommendPosts":["blue-backs-books-for-it-engineers","the-future-of-ai-my-thoughts-20230317","4296107712","if-artificial-intelligence-becomes-conscious"]},"frontmatter":{"date":"2024-01-23T06:08:25.096Z","description":"会話をしていて、「存在しないことの証明は（悪魔の証明だから）難しい」という表現を聞くことがあります。\n私は「存在しないことの証明は難しいとは限らない」と考えているので、その考えをまとめておきます。","tags":["proof"],"title":"数学や科学の話で「存在しないことの証明は（悪魔の証明だから）難しい」と言うのはやめようという話","socialImage":null,"recommendPosts":null}}},"pageContext":{"slug":"/posts/stop-using-probatio-diabolica"}},"staticQueryHashes":["251939775","3942705351","401334301"]}