ライツェン・エヒベルトゥス・ヤン・ブラウワー

ライツェン・エヒベルトゥス・ヤン・ブラウワー（Luitzen Egbertus Jan Brouwer）は、1881年2月27日にオランダのオフェルスヒー（現在のロッテルダムの一部）で生まれ、1966年12月2日に亡くなった、20世紀を代表する数学者の一人です。彼の名前は、ブラウエルやブローウェルといった表記でも知られています。

ブラウワーの業績は多岐にわたりますが、特に二つの分野で大きな影響を与えました。一つはトポロジーであり、この分野における彼の貢献、特に有名な不動点定理をはじめとする成果は、現代数学において重要な位置を占めています。もう一つは数学基礎論であり、彼はここで独自の（数学的）直観主義という哲学を提唱し、その創始者として後世に名を残しました。

生涯

教師の子として生まれたブラウワーは、フリジア系の家庭で育ちました。幼少期から並外れた才能を示し、通常は13歳で入学する高等市民学校に、わずか9歳という当時のオランダ最年少記録で入学するなど、「神童」として早くから注目されました。

1897年、ブラウワーはアムステルダム大学に入学し、ディーデリク・ヨハンネス・コルテウェヒ（有名なKdV方程式で知られる）やヘリト・マンナウリーといった数学者から指導を受けました。この大学時代に、彼は数学だけでなく、哲学や神秘主義思想にも強い関心を持つようになります。これらの非数学的な探求は、後に彼が提唱する直観主義数学の基盤に深い影響を与えることになりました。

1907年に提出された彼の博士論文『数学の基礎について（On the foundations of mathematics）』は、数学の基礎に関する彼の深い洞察を示すものでした。この論文では、有名なヒルベルトの第5問題に対する部分的な解答が含まれていましたが、当初はブラウワー独自の哲学的な見解が多く盛り込まれていました。しかし、指導教授であったコルテウェヒの指示により、この哲学的な部分は大幅に削減されることになりました。それでも、彼の直観主義へとつながる独特な数学観は、論文の残された部分にも反映されていました。

直観主義数学の提唱

ブラウワーが古典的な数学的実践に対する批判を本格的に開始したのは、1920年頃からです。彼の直観主義の出発点となる根本的な考え方は、以下のようなものでした。

数学は言語から独立した活動である：ブラウワーは、数学の本質は言葉や記号といった言語表現に依存するものではないと考えました。
数学は心の構成活動に他ならない：数学的な対象や概念は、人間の心の中での構成プロセスを通じてのみ存在すると主張しました。
数学は時間の直観を前提とする：数学的構成を行うためには、時間の流れを認識する直観が不可欠であると考えました。
数学的構成は論理に先行する：数学的な真実は、まず心の構成によって生み出され、論理はその後の追認や整理の道具に過ぎないという立場を取りました。

ブラウワーにとって、数学はあくまで個々の心の中で行われる構成的な行為のシステムでした。彼は、この心的行為としての数学が、必ずしも言語的な操作可能性と一致する必要はないと考えたため、現代の数学観とは異なり、数学の「無言語性」を特に強調しました。そして、このような心的行為としての数学が可能であることを保証するために必要なのは、時間のみであり、空間は不要であると結論づけました。この「時間の直観」による保証を求めた結果、彼はイマヌエル・カントの哲学における時間の直観にその根拠を見出し、自らの立場を「直観主義（intuitionism）」と名付けたのです。

ブラウワーの直観主義は、当時の主流であった形式主義などと対立し、数学界に大きな議論を巻き起こしました。彼の思想は、その後も数学基礎論や計算可能性理論などに影響を与え続けています。トポロジーにおける具体的な貢献と、数学の根本を問い直す哲学的な活動という、二つの側面から、ブラウワーは数学史において独自の、そして極めて重要な地位を占めています。

もう一度検索