数学的プラトニズム

数学を「する」とはどういうことか——円周率πは人間が計算する以前から「そこに」あったのか、それとも認知活動が生み出した構成物なのか。

数を発見するか、発明するか

この問いに対する一方の極端な答えが数学的プラトニズムだ——数学的対象（数・集合・関数・構造）は、人間の精神から独立して客観的に実在するという哲学的立場。プラトンの洞窟の比喩は、数学的真理こそ最も完全な形でイデアの領域に属するという考えを示唆していた。数学者が「証明する」とき、思考が届かない先にある真理を「発見」している——この感覚は数学の実践から生まれる内側からの証言だ。G・H・ハーディは数学的実在主義の有名な擁護者だった。「小さな数字も大きな数字も、すべて人間が作り出したわけではない」という彼の確信は、数学的発見の主観的経験に基づく。

ゲーデルが残した亀裂と証言

クルト・ゲーデル自身も数学的プラトニズムの支持者だった。不完全性定理は数学の形式化に対する内在的限界を示す——しかしゲーデルはこれを「数学的真理は形式体系を超えて存在する」という証拠と解釈した。証明できないが真な命題があるということは、形式体系の外側に数学的真理の世界を想定する根拠になる。ヒルベルトのプログラムが夢見た完全な形式化の失敗もまた、プラトニストにとっては「形式化しきれない何か」の存在を示す間接的な証拠だ。ダフィット・ヒルベルト自身は形式主義者だったが、彼のプログラムの崩壊がゲーデルのプラトニズムを強化するという皮肉な関係がある。

ゲーデル、エッシャー、バッハが描く自己言及の構造は、形式体系が自分自身を記述しようとするときに生まれる奇妙な輪の中に、数学的実在の影を映している。

プラトニズムへの批判線

認識論的批判が最も鋭い——抽象的な数学的存在と物理的な人間の脳の間には、どのように認識論的な接続があるのか（ポール・ベナセラフの問題）。存在論的批判は「どこに」あるのかを問う。物理的でも心的でもない第三の領域に存在するとはどういうことか。

テグマークが踏み越えた一歩

数学的証明が蓄積される過程を見ると、数学的プラトニズムの直感は難しく否定できない。テグマークはこの立場を出発点としながら、さらに過激な方向へ進む——数学的対象が抽象的に実在するだけでなく、すべての数学的構造が物理的にも実在するという数学的宇宙仮説へ。「数は発見か発明か」という問いへの答えとして、「すべての可能な数学は物理的宇宙として実在する」と述べることは、プラトニズムの論理を最後まで貫徹する試みだ。完全性という理想が失われたあと、数学の真理はどこに宿るのか——その問いへの答えが、プラトニズムとテグマークをつなぐ糸だ。

フレーゲ、ラッセル、ホワイトヘッドが試みた数学の論理主義的基礎付けは、数学的対象の実在を論理的に保証しようとした。その試みがゲーデルの不完全性定理によって根底から揺らいだとき、数学的プラトニズムは逆説的に強化された——形式体系には収まりきらない「何か」が数学には確かにある、という直感として。現代の数学者の多くはプラトニズムを公言しないが、実践においてはプラトニズム的な語り——「この定理を発見した」「この構造が見えた」——を使い続ける。その実践と言明の分裂こそ、数学的プラトニズムが問い続けることの核心だ。