数学は「発明」か「発見」か？

読了目安：約9分

問い：ブラックホールの方程式は、ブラックホールが存在する前から「正しかった」のか？

Aeonに掲載されたプリンストン大学の数学者セルジュ・クライネルマン（Sergiu Klainerman）へのインタビューが、古くて新しい哲学的論争に火をつけた。彼は言う――「数学とは、発明されるのではなく、解読されるべき事実だ（maths is a fact to be divined）」。

この言葉が切り込む問いは単純だが深い。ブラックホールを記述するアインシュタインの場の方程式は、宇宙にブラックホールが一つも存在しなかった時代にも「正しかった」のだろうか？ピタゴラスの定理は、ピタゴラスが生まれる前から真実だったのか？

2026年7月、Quanta Magazineは「量子証明の力（quantum proofs）」に関する20年来の未解決問題が解決されたと報じた。このニュースは、数学という営みが「発見」に近いことを改めて感じさせる。誰かが答えを出すまで、問題は答えを「持っていた」ように見えるからだ。

二つの陣営：プラトン主義と形式主義

数学の哲学には、大きく二つの立場がある。

**プラトン主義（数学的実在論）**は、数学的対象（数、図形、集合など）が人間の精神から独立して実在すると主張する。数学者は数学を「作る」のではなく、すでに存在する構造を「見つける」のだ。クライネルマンのような数学者は直感的にこの立場に近い。「美しい証明」には発見の感覚が伴う。

形式主義・構成主義は逆に、数学とは人間が定めたルールの体系にすぎないと見る。公理を決め、推論規則を決め、そこから導けるものが数学だ。哲学者ルートウィヒ・ウィトゲンシュタイン（Ludwig Wittgenstein）¹は後期に「数学は言語ゲームである」と論じ、独立した数学的実在などないと示唆した。

¹ ウィトゲンシュタイン（1889-1951）：オーストリア出身の哲学者。『哲学探究』で言語と意味の関係を論じた20世紀最大の哲学者の一人。

「不合理な有効性」という謎

1960年、物理学者ユージン・ウィグナー（Eugene Wigner）²は「自然科学における数学の不合理な有効性（The Unreasonable Effectiveness of Mathematics）」という論文を書いた。彼が驚いたのは、物理学者とは無関係に純粋数学者が「美しいから」という理由だけで考案した構造が、後になって物理現象の正確な記述に使えてしまうという事実だった。

例を挙げよう。複素数³は16世紀に「存在しない数の平方根」として数学者が半ば冗談のように導入した概念だ。しかし400年後、量子力学はこの複素数なしには記述すら不可能であることが判明した。現実が「存在しない数」を使って動いていた。

リーマン幾何学４は、アインシュタインが相対性理論を作るより50年前に、ベルンハルト・リーマンが「曲がった空間」を数学的に記述するために開発した。まるで宇宙が曲がることを、宇宙が知らせる前から数学が知っていたようだ。

² ウィグナー（1902-1995）：ハンガリー系アメリカ人物理学者、1963年ノーベル物理学賞受賞。
³ 複素数：実数と虚数単位 $i$（$i^2 = -1$）の組み合わせ。$a + bi$ の形で書かれる。
⁴ リーマン幾何学：平面ではなく曲面・曲がった空間を扱う幾何学。一般相対性理論の数学的基盤。

AIと数学：第三の視点

2026年、AIが数学に参入してきたことでこの議論に新たな次元が加わった。QuantaとAeonの両誌が報じるように、AIは流体方程式の「隠れたバグ」を発見したり、長年の未解決問題の解法を示したりしている。

もし数学が純粋に「発明」なら、AIが証明を生成することは人間が詩を書くのと本質的に同じはずだ。しかし数学者たちはAIの生成した証明を「正しい」「間違い」で評価する。この評価基準は、人間の外に独立した真理があることを前提にしていないか？

Psyche.coはこう問う：「知覚とは現実の記録ではなく、推論のプロセスだ（Perception is a process of inference, not an account of 'reality'）」。私たちは数学的真理を「知覚」しているのか、それとも便利な推論システムとして「構築」しているのか。

問いに答えるのではなく、問いと生きる

哲学者イムマヌエル・カント（Immanuel Kant）⁵は第三の立場を提示した。数学は経験から独立している（アプリオリ）が、人間の認識構造が生み出すものだ、と。この立場なら「ブラックホールの方程式はブラックホールより前に存在したか」という問いへの答えはこうなる――「方程式は人間の思考様式の産物だが、それは同時に現実と対応している」。

答えは出ない。しかし問い続けることに意味がある。「数学が美しい理由」を問うことは、美しさとは何か、真理とは何か、人間の認識とは何かを問うことと地続きだ。

クライネルマンの言葉を借りるなら、数学とは神の言語を解読する行為かもしれない。あるいは、人間が宇宙に語りかけるための最も精密な言語かもしれない。いずれにせよ、その言語で書かれたブラックホールの方程式は、ブラックホールが宇宙に生まれるより先に「そこにいた」ように見える。

⁵ カント（1724-1804）：ドイツの哲学者。『純粋理性批判』で「物自体は認識できない」と主張し、認識論を革新した。

さらに学ぶための3点

書籍

『数学する精神』岡潔 著（中公新書）
日本最高峰の数学者が「数学とは感情の問題だ」と語る。プラトン主義的数学観を詩的に表現した古典。

論文・記事

"The Unreasonable Effectiveness of Mathematics in the Natural Sciences" ― Eugene Wigner (1960)
Communications on Pure and Applied Mathematics 掲載。数学と物理学の不思議な一致を論じた20世紀最重要の科学哲学エッセイ。無料で読める

Web記事

"Researchers Reveal the Power of 'Quantum Proofs'" ― Quanta Magazine (2026年7月6日)
量子複雑性理論の20年来の未解決問題が解決された。「証明」という行為の数学的・哲学的意味を問い直す機会を与えてくれる最新記事。

https://www.quantamagazine.org/researchers-reveal-the-power-of-quantum-proofs-20260706/

※ Aeon・Psycheへの直接アクセスは制限(403)のため、検索スニペットと著者の知識を組み合わせて執筆しています。