ネタシェアするBookmark!FacebookTwitterGoogle+Pocketこんばんは。本日は、「ヘンペルのカラス」というパラドックス(厳密には疑似パラドックス)について紹介します。ヘンペルのカラスヘンペルのカラスは、このようなものです。「全てのカラスは黒い」ことを証明したいとします。この際のアプローチとして、「全ての黒くないものはカラスでない」ことを証明すれば、「全てのカラスは黒い」ことを証明したことと全く同じというのが、ヘンペルのカラスの論法です。この方法を使えばカラスを1匹も調べることなく、カラスが黒いことを証明することが可能なのです!この話をはじめて聞いたほとんどの方は、「???」となったのではないのでしょうか。わかりづらいのでしょう。それはカラスが黒いかどうかなんて誰も興味ないからではないでしょうか。カラスをパンツに置き換えて考えてみます。カラスが黒いことを証明する代わりに、気になるあの子のパンツが白いことを、パンツを見ずに証明してみましょう!ヘンペルのパンツヘンペルのカラスでは、黒くないもの全てを調査する必要がありました。「全て」というのはこの宇宙にあるもの全てを指します。