"無い"ことの証明 | ブログ | 岡山市南区の塾なら楽しい授業で学力を伸ばす加藤学習塾 | 基礎から指導

みなさん、こんにちは。

みなさんは、"白いカラス"をみたことがありますか？

私たちがみるカラスはほとんどが黒ですが、白いカラスも世界のどこかにはいるみたいです。

ググってみてください。画像が出てきます。

画像がある時点で(合成でなければ)、白いカラスが存在することは1秒で証明できますね。

では、もし…誰一人として白いカラスをみたことがないとしたら、"白いカラスはこの世に存在しない"と言えるでしょうか…？？

もしかしたら、誰も入ったことのない無人島の森の奥深くにひっそり生息しているかもしれません。それを確かめるには、片っ端から世界を調べる必要があります。

そう、白いカラスがいることは一瞬で証明できても、逆に存在しないことを証明することは不可能に近いのです。

数学の世界でも、このように"存在しないこと"を証明することが非常に困難ですが、五次以上の方程式の一般解を求める公式は存在しないことなどがすでに証明されています。

その証明方法について、ぜひ調べてみてください。