演繹的問題解決法の限界:結局は直感に頼るしかないのです^^;
フェルマーの最終定理は証明されたと言われている。
しかし、その証明が正しいかどうかは、いまだに検証中だ。根本的に演繹的証明は「その証明が間違っていない」という証明ができない。
仮に、「証明が正しいかどうかは、論理を追えばわかる」のだとしよう。では、なぜワイルズの証明を第三者が検証しているのか? 「ワイルズが正しいと言うのならば、正しい」で話は終わりのはずだ。
ここで「ワイルズが間違っている可能性がある」と疑念を挟むならば、第三者が検証しても、「その人物も間違っている可能