23/12/15 14:39:40.33 NkEr3tnM.net
つづき
形式主義
このヒルベルトの形式主義は、先に説明したクロネッカーの一般算術による数学の基礎における多変数多項式の代数の体系を、ラッセルの The Principles of Mathematics や、Principia Mathematica で使われた記号論理学の体系に置き換えたものと見なせる。
ヒルベルト計画
Principia Mathematica や ZF 集合論では、ラッセルのパラドックスなどの集合論のバラドックスを再現することができないということは、1920年代ころには、すでに経験的に解っていた。
だから、多くの数学者は、それで十分満足していた。
しかしながら、ブラウワーやワイルのような、哲学的問題をも重視する人たちは、それだけでは飽き足らず、内的時間直観など論理学に代る何らかの保証を求めたのである。
ところが、それは、結果として、先に説明したように、数学の実行を困難にしたばかりか、既存の数学理論のかなりの部分を放棄することを迫るものだった。
内的時間直観というものは、我々人間という有限的存在の「所有物」であるために、本質的に有限的性格を帯びており、そのためにカントルやデーデキントの集合論が扱うことが多かった無限集合を十分に扱うことができなかったのである。
しかし、ヒルベルトという人は、そういうデーデキントやカントルの方法が、クロネッカーが研究したような、伝統的な数学の枠組みの中でも、非常に重要な役割を果たすことを最初に実証した人のひとりだった。
ヒルベルトは、その後、デーデキントのイデアル論を使い、クロネッカーや、クンマーの代数的整数論の理論を徹底的に書き直し、現代的な代数的整数論の発展の基礎を作った。
つまり、ヒルベルトは、集合論のような「仮想現実」を駆使して、数学を行うことにより、19世紀終わりから20世紀初め、凡そ第二次世界大戦の勃発前までの時代を代表する世界的な数学者となったのである。
つづく