05/01/18 22:32:40
通常不存在の證明は悪魔の證明といわれます。
存在することを證明するには具体的な存在例を示せば良い。
ところがあるものが存在しないことを示すのは通常は無理です。
みつかっていないだけかもしれず、ある時まで存在しないと
思っていてもある日ひょっこりと現れてしまうかもしれないからです。
不存在が證明できるのは日常生活に於ては稀であり、
論理だけによって組み立てられ得る数学などにのみ可能なことです。
五次方程式の根をあらわす一般公式が無いということも、
公式があるなら、その例を示せば足りますが、絶対あり得ない
無いというのとまだ見つけていないというのは、実例を見て
経験を積んでというのでは区別出来ません。唯一論理的な證明
が伴ってのみ、それがたしかに存在しないということが
確実となるのです。