なぜ一流数学者は数学を「最初から建て直す」のか

問い：数学のような「完璧に正確」に見える学問が、土台を作り直す必要に迫られるとき、それは何を意味するのか？

数学の「土台」が問われた瞬間

2026年5月、ドイツの数学者ピーター・シュルツェ（Peter Scholze）とフランス在住のダスティン・クラウゼン（Dustin Clausen）が「凝縮数学の講義録（Condensed Mathematics）」の安定版を公開した。これは一言でいえば「数学の一部を基礎から作り直す」試みである。

なぜそんなことが必要なのか。数学は他のあらゆる学問と違い、公理から演繹で正確な真理を積み上げる学問のはずではなかったか。

その問いへの答えは、数学の歴史そのものにある。

本文

「土台の危機」は繰り返す

数学が基礎を問い直すことは、これが初めてではない。

19世紀まで、ユークリッド幾何学は自明の真理とされていた。しかし「平行線は交わらない」という公理を否定したとき、矛盾のない非ユークリッド幾何学が生まれた。数学者たちは「真理の絶対性」という幻想を一つ手放した。

20世紀初頭には、バートランド・ラッセルが「自分自身を含まない集合の集合は存在するか？」という問いで、当時最先端だった集合論の自己矛盾（ラッセルのパラドックス）を発見した。数学の「基礎」そのものが問われた。そして1931年、クルト・ゲーデルは「十分に強い公理系には証明できない命題が必ず存在する」（不完全性定理）を証明し、「数学はいつか完全に公理化できる」という夢を永遠に葬った。

こうした「基礎の危機」は単なる技術的問題ではない。それは「人間の知識とは何か」「確実性はどこまで可能か」という哲学的問いと直結している。

「代数」と「位相」の間の壁

今日の問題に戻ろう。シュルツェとクラウゼンが取り組んでいるのは、代数（数の構造を研究する）と位相空間論（空間の形・連続性を研究する）を組み合わせる際の根本的な技術的困難だ。

現代数学では、代数と解析学（微積分の延長）を統合して研究する場面が頻繁にある。たとえば数論1（整数の性質の研究）は、複素解析2との連携なしには語れない。ところが従来の「位相空間」という概念は、そのような組み合わせを行う際に予期しない問題を引き起こすことが知られていた。

具体的には、「ホモロジー代数」3と呼ばれる手法を位相的な群4（例えばp進数体）に適用しようとすると、計算が「うまくいかない」ケースが出てくる。数学者たちはこれを何十年も「技術的に面倒だが仕方ない」と受け入れてきた。

シュルツェらの発想は逆転的だ。「位相空間という概念自体を修正してしまえ」。

凝縮数学とは何か

彼らが提案する「凝縮集合（condensed set）」は、位相空間の代わりになる新しい概念だ。技術的には「プロ有限集合上の層」*5として定義されるが、直感的には「位相的な情報を代数的な言葉で記述し直したもの」と考えればよい。

これにより：

• 代数構造と位相的連続性が同じ「言語」で記述できるようになる
• ホモロジー代数が「スムーズに」機能するようになる
• 複素解析幾何学、代数幾何学、p進数論が統一的に扱えるようになる可能性がある

2026年5月に公開された論文では、この枠組みを用いて「コンパクト複素多様体についての重要定理の再証明」が目標として示された。再証明といっても、以前の証明が間違っていたわけではない。より強力で柔軟な基盤の上で、同じ定理をより深く理解し、さらなる拡張への道を開くためだ。

なぜ「建て直す」必要があるのか

ここに哲学的な問いがある。既存の証明が正しいなら、なぜ作り直すのか。

答えは「正しさだけが数学の価値ではない」ということだ。数学において重要なのは「理解」であり「洞察」だ。ある定理が「なぜ成り立つのか」をより深く見通せる証明は、たとえ結論が同じでも、新しい問いへの扉を開く。

17世紀の数学者ジョン・ウォリスは言った。「我々は証明するためでなく、理解するために数学をする」。シュルツェらの仕事はまさにその伝統の上にある。

また、この仕事には20世紀的な特徴がある。シュルツェは以前、証明の一部をコンピューター証明システム「Lean 4」で検証するプロジェクトをオープンソースで展開した。数学の「建て直し」が、人間とコンピューターの協働によって進む時代が来ている。

脚注

*1 数論: 整数や素数の性質を研究する数学の一分野。「フェルマーの最終定理」の証明で有名。

*2 複素解析: 実数に加えて虚数（√-1）を含む複素数を変数とする関数を研究する分野。物理学や工学にも応用される。

*3 ホモロジー代数: 代数構造の「穴」や「ねじれ」を系統的に研究する手法。空間の形を代数で測る方法論。

*4 p進数体: 素数pを「近い」の基準にした数の体系。整数論の研究に不可欠。10進数とは全く異なる直感を持つ。

*5 プロ有限集合上の層: 有限集合の「極限」として定義される特別な位相空間上で、各点に集合を対応させる構造。

さらに学ぶための3点

1. 「数学の哲学」入門 イアン・スチュワート著『数学の真髄』（Significant Figures）: 偉大な数学者17人の生涯を通じて、数学とは何かを探る。日本語訳あり。

2. 凝縮数学の原典（英語・無料公開） Dustin Clausen & Peter Scholze, "Condensed Mathematics and Complex Geometry" (2026) arxiv.org/abs/2605.03658 ※ 数学の専門知識が必要だが、序文（Introduction）だけでも動機と目的が読み取れる。

3. ゲーデルの不完全性定理入門 Ernest Nagel & James Newman著『ゲーデルの証明』（Gödel's Proof, 日本語訳: 岩波書店） 数学的厳密さの限界を一般向けに解説した古典。70年以上読まれ続けている必読書。

※ 本日はWebFetchが全て403エラーのため、WebSearchのスニペット情報および既存の数学的知識をもとにベストエフォートで執筆しています。