数学は矛盾しているか不完全のどちらかである

先日本屋に行って、気軽に読める新書本ではなく、偶にはじっくりと読める図書を探していましたら、ゲーデル著「不完全定理」と言う岩波文庫がありましたので、買って帰りました。

51年昔、教養学部での数学の講義は、高校時代での問題を解くことを主にする授業と違い、定義を大切にする意味合いが強く、興味深いものでした。
解析学では、当時微分幾何学の気鋭学者である長野正氏が講師で、参考書は高木貞治著「解析概論」と言う名著でした。
代数学では、講師は森繁雄氏で、受験参考書で知られていた人で、スミルノフ著「高等数学教程」を参考書として勧められました。
その後、工学部に進みましたので、数学講義も純粋数学から応用数学へ転換し、犬井鉄郎氏の講義となりましたが、やはり興味をそそるものがあったのです。

企業に入り、応用数学適用の命題が多く、寺沢寛一著「数学概論」を参考にすることも多くなり、業務上の難問解決の為、微分方程式の構築、行列知識の適用・応用等には心血を注いだものでした。

しかし50年を過ぎて、頭もすっかり硬くなり、純粋数学書では、なかなか読み進めることが出来ません。
やはり、工学者の弱点でもあるのでしょうか、物理的意味合いの無い命題を、数学的に理解する意気が続かないのです。

１．形式系と呼ばれる論理学の人工言語で記述された数学は、その表現力が十分豊かならば、完全且つ無矛盾であることはない。（第一不完全性定理）
２．形式系が無矛盾であると言う事実は、その事実が本当である限り、その形式系自身の中では証明出来ない。（第二不完全性定理）

20世紀最大の数学者ヒルベルトは、数学における合理性を究極の形で確立すると言う、極めて近代ヨーロッパ的な目的を担っていたが、上記ゲーデルの不完全性定理が結果的に合理性に対する素朴な信頼性に否を突き付ける形になった。
その為、数学の定理でありながら、西洋哲学、心理学、思想、情報学等の研究者を引き付け、様々な影響を与える結果となっている。

解説が面白いので、もう少し読み進めますが、読破する自信は全くありません！

我が家の本棚には、永らく使われたことが無いまま、高木貞治著「解析概論」、寺沢寛一著「数学概論」、スミルノフ著「高等数学教程」12巻は、寂しく眠っています。