├
├計量計測データバンク ニュースの窓－4721－数学者の内的世界と共通の数学（同じ山を登りながら、違う地図を見ている）― 望月新一のIUTを手がかりに
├
数学者の内的世界と共通の数学 ― 望月新一のIUTを手がかりに 2026年9月30日 · @横田俊英
（同じ山を登りながら、違う地図を見ている――望月新一「IUT理論」と数学者の頭の中の世界）
数学者の内的世界と共通の数学 ― 望月新一のIUTを手がかりに 2026年9月30日 · @横田俊英
－－同じ山を登りながら、違う地図を見ている――望月新一「IUT理論」と数学者の頭の中の世界－－
数学者の内的世界と共通の数学 ― 望月新一のIUTを手がかりに 2026年9月30日 · @横田俊英
要旨
本稿は、数学者が日ごろ思い描く数学的世界が個人ごとに異なるのか、それとも共通性を持つのかを問う。結論として、内的な表象（心に浮かぶ像や直観）は著しく多様であるが、到達された結果は証明という公共の手続きを通じて一つの世界に収斂する、という二層構造を提示する。望月新一の宇宙際タイヒミュラー理論（IUT）をめぐる論争は、この二層の間の「翻訳」が滞った事例として読める。最後に、計量における共通尺度と検証の考え方を補助線とし、証明の形式化がこの翻訳を支える手段となりうることを論じる。
キーワード：数学的直観、証明、宇宙際タイヒミュラー理論、abc予想、形式化、共通尺度
1. 序論：問題の所在
数学は、最も客観的な学問だと考えられている。定理は誰が証明しても同じ定理であり、文化や言語によって真偽が変わることはない。
しかし、数学者が実際に考えているときの頭の中をのぞくと、景色は一様ではない。図形を見る人、式の流れを追う人、言葉にならない感覚で判断する人がいる。では、数学者たちは同じ世界を見ているのか。それとも、各自が別の世界を見ており、たまたま一致した部分を「数学」と呼んでいるのか。
この問いを具体的に考える手がかりとして、本稿は望月新一（京都大学数理解析研究所）の宇宙際タイヒミュラー理論を取り上げる。この理論は、一人の数学者の内的世界が他の数学者にどこまで伝わるかを、現在進行形で問うているからである。
2. 数学者の内的世界は多様である
数学者自身の証言は、内的世界が人によって大きく異なることを示している。
ａ、ポアンカレの二類型。
ポアンカレは『科学の価値』（1905年）で、数学者を「直観に導かれる人」と「論理に導かれる人」に分けた。前者は全体を一気に見渡し、後者は一歩ずつ確実に進む。どちらも優れた数学を生むが、思考の質はまるで違う。
ｂ、アダマールの調査。
アダマールは『数学における発明の心理』（1945年）で多くの数学者・科学者に思考の仕方を尋ねた。その結果、多くの人が言葉や記号ではなく、ぼんやりした像で考えていると報告した。アインシュタインは、思考の要素が「視覚的で、あるものは筋肉的な型」であり、言葉は後から苦労して探すと答えている。
ｃ、アティヤの空間と時間。
アティヤは「幾何学は空間に、代数学は時間に関わる」と述べた（2000年の講演「20世紀の数学」）。幾何的な思考は全体を同時に眺め、代数的な思考は手順を順に追う。同じ対象を扱っていても、頭の使い方が異なるのである。
ｄ、サーストンの問題提起。
最も深い指摘はサーストンの論考「証明と数学の進歩について」（1994年）にある。彼は、数学の目的は定理を積み上げることではなく、人間が数学を理解することだと論じた。そして、自分が証明した葉状構造の理論が、定理としては正しくても他者に「理解」として伝わらず、分野が停滞した経験を語っている。内的世界は多様であるだけでなく、他者に渡すことが難しい。この点が本稿の議論の出発点となる。
3. それでも共通性はある
内的世界が多様であるにもかかわらず、数学は一つの学問として成り立っている。その根拠を三つ挙げる。
第一に、証明という公共の基準である。 どれほど個人的な直観から生まれた結果でも、最後は誰もが一行ずつ確かめられる論理の形に直される。証明は、内的世界を公共の世界に送り出すための共通言語である。
第二に、独立発見である。 ニュートンとライプニッツは別々に微積分法に到達した。ガウス、ボヤイ、ロバチェフスキーは独立に非ユークリッド幾何学に行き着いた。記法も発想も異なるのに同じ結果に達することは、数学者の外に共通の構造があることを強く示唆する。
第三に、分野を超えた統一である。 ラングランズ・プログラムは整数論と表現論を結びつけ、ワイルズによるフェルマーの最終定理の証明も楕円曲線と保型形式の深い関係に基づいていた。まったく別の景色として見られていたものが、同じ山の別の斜面だったと分かることが繰り返し起きている。
以上から、数学的世界は「内的表象の層」と「公共的対象の層」の二層でできていると考えられる。前者は個人ごとに異なり、後者は共有される。両者をつなぐのが証明である。
4.事例研究：宇宙際タイヒミュラー理論
IUTは、内的表象の層から公共的対象の層への「翻訳」が滞った事例である。
ａ、経緯。
望月は2012年8月、IUTに関する4編の論文を公開し、整数論の難問であるabc予想を証明したと主張した。2018年、ショルツェとスティックスは京都で望月と議論したうえで、第3論文の系3.12に根本的な欠陥があるとする報告を公表した。論文は2021年に数理解析研究所の紀要PRIMSに掲載されたが、望月自身が同誌の編集長を務めていたこともあり、数学界全体の合意には至っていない。
ｂ、争点の性格。
注目すべきは、争点が計算の誤りではないことである。対立の中心は「二つの対象を同一視してよいか」という問いにある。ショルツェとスティックスは、望月が区別する複数の対象を標準的に同一視すれば議論が成り立たなくなると見る。望月は、その同一視こそが理論を誤読しているのであり、区別して扱うことが本質だと反論する。
ｃ、独自のイメージ。
望月は、「ホッジ劇場」や、複数の数学的「宇宙」の間での通信といった独特の語彙で理論を語る。足し算と掛け算という整数の二つの構造をいったん切り離し、別の舞台で組み直すという発想である。これは極めて個性的な内的世界の表現である。
ｃ、解釈。
第3節の二層モデルで見ると、この論争の構図は明快になる。望月にとっては、内的表象の層で区別されているものは当然に区別される。他の数学者にとっては、その区別が公共的対象の層の言葉で十分に表現されていない。対立は「同じものとは何か」という、まさに共有の根幹に関わる点で起きているのである。これはサーストンが指摘した「理解は伝えにくい」という問題の、最も尖鋭な現れと言える。
本稿は、IUTが正しいか誤りかを判定するものではない。問題にしたいのは、正しさを共有するための手続きそのものである。
5. 考察：計量の視点と形式化
ａ、計量との類比。
計量の世界では、測る人の感覚が異なっても、同じ量を扱える。それを可能にしているのは、共通の尺度（単位）と、測定結果を標準につなぐ手続き（トレーサビリティ）である。2019年の国際単位系（SI）改定で、キログラムは原器という物からプランク定数という定義値に基づくものに移った。これは、特定の場所や人に依存しない共有の基盤をつくる試みであった。
数学に当てはめれば、数学者の直観は個々の測定者の感覚に、証明は標準へのトレーサビリティに当たる。IUTをめぐる状況は、新しい測定器の校正手続きを、当の開発者以外が再現できない状態に似ている。器具が正しいかどうか以前に、校正の連鎖が公開の形でつながっていないのである。
ｂ、形式化という第三の道。
近年、Leanなどの証明支援系を使って、証明を計算機が検証できる形に書き直す「形式化」が進んでいる。興味深いことに、ショルツェ自身が2020年、自らの凝聚数学の中心定理の検証を形式化コミュニティに提案し、この「液体テンソル実験」は2022年に完了した。証明者本人も確信を持てなかった細部を、機械が確かめたのである。
形式化は、内的世界を共有することを要しない。誰の直観にも頼らず、論理の連鎖だけを機械的に確かめる。その意味で、人間同士の「理解の伝達」とは別の経路で、公共的対象の層への橋を架ける手段となる。ただし、形式化が保証するのは正しさであって、理解ではない。サーストンの問いは、形式化の後にも残る。
6. 結論
数学者が思い描く世界は、内的表象の層では数学者ごとに異なり、公共的対象の層では共通する。たとえるなら、数学者たちは一つの山を別々の道から登っている。ただし、自分の道の地図を他人が読めるとは限らない。
望月新一のIUTをめぐる論争は、山が一つかどうかの問題ではなく、地図が読めるかどうかの問題である。そしてその対立は、「何を同じとみなすか」という、共有の最も根本的な点で起きている。
計量が単位とトレーサビリティによって個人の感覚を超えた共有を実現したように、数学も証明と、その強化としての形式化によって共有を守ってきた。数学の客観性とは、数学者が同じ景色を見ていることではない。異なる景色を見る者同士が、同じ結論を確かめ合える手続きを持っていることである。
残された課題は二つある。一つは、IUTの中心的な議論が形式化によって検証されうるかである。もう一つは、形式化が正しさを保証した後にも、「理解」を人から人へどう渡すかである。
参考文献
1. H. Poincaré, La Valeur de la science, Flammarion, 1905.（邦訳『科学の価値』）
2. J. Hadamard, The Psychology of Invention in the Mathematical Field, Princeton University Press, 1945.（邦訳『数学における発明の心理』）
3. W. P. Thurston, "On proof and progress in mathematics", Bulletin of the AMS 30 (1994), 161–177.
4. M. Atiyah, "Mathematics in the 20th century", Bulletin of the London Mathematical Society 34 (2002), 1–15.
5. S. Mochizuki, "Inter-universal Teichmüller Theory I–IV", Publications of the RIMS 57 (2021).
6. P. Scholze and J. Stix, "Why abc is still a conjecture", 2018（著者公開の報告）.
7. P. Scholze, "Liquid Tensor Experiment", Experimental Mathematics 31 (2022).
注：文献情報は記憶に基づく。巻号・頁・年は公表前に原典で確認されたい。
同じ山を登りながら、違う地図を見ている――望月新一「IUT理論」と数学者の頭の中の世界 2026年9月30日 · @横田俊英
「1＋1＝2」という式を見る時、私たちは世界中の誰もが同じ普遍的な真理を共有していると感じます。しかし、その真理を探求する数学者たちの「頭の中」に広がる風景は、実は人によって驚くほど異なるのではないか――。
京都大学数理解析研究所の望月新一教授が提唱した「宇宙際タイヒミュラー（IUT）理論」と、超難問「ABC予想」の証明をめぐる数学界の議論は、私たちにそんな深遠な問いを投げかけています。
数学者が日常的に思い描く世界とは、一重の共通なものなのでしょうか。それとも個人の内面に閉ざされた独自の風景なのでしょうか。
数学者の頭の中には「違う風景」が見えている
数学は厳密な論理の学問ですが、数学者が思考を展開する際の内面は、きわめて個性的で多様です。歴史上の高名な数学者たちも、その事実を言葉に残しています。
フランスの数学者ポアンカレは、数学者を「全体を直観で一望するタイプ」と「手順を一つずつ追う論理タイプ」に分類しました。また、マイケル・アティヤ卿は「幾何学は空間、代数学は時間である」と述べました。目の前に広がる図形として一瞬で捉えるのか、あるいは時間をかけて言葉や算術の手順を紡いでいくのか。アプローチの根本からして全く異なるのです。
さらに、数学的構造の発明プロセスを調査した心理学者アダマールによれば、多くの数学者は言葉ではなく「ぼんやりした映像」や「身体感覚」で思考していると報告されています。
フィールズ賞学者ウィリアム・サーストンは1994年の論考で、「数学の本質とは単に定理を積み上げることではなく、人間が『理解』することである」とし、その理解を他者にそのまま渡すことは極めて難しいと指摘しました。同じ1つの定理を知っていたとしても、数学者一人ひとりの脳内に描かれているグラフィックや手触りは、まるで異なっているのです。
それでも「同じ一つの真理」に辿り着く不思議
しかし、内面の世界がどれほど個性的であっても、数学は個人のファンタジーでは終わりません。
どれほど独特な直観から生まれたアイデアであっても、最終的には「証明」という共通の言語とルールに翻訳され、誰もが検証可能な形に直されます。
歴史を見ても、ニュートンとライプニッツによる微積分の発見や、ガウス、ボヤイ、ロバチェフスキーらが独立して到達した非ユークリッド幾何学のように、全く別の場所・方法から同じ結論に辿り着く例が多々あります。また「ラングランズ・プログラム」のように、一見まったく無関係に見えた数学の諸分野が、深い底流でつながっていたと判明することもあります。
数学者の内面に見える「風景」はバラバラであっても、彼らが登っているのは「たった一つの共通の山」であり、目指す真理の客観性は普遍的な共有財産なのです。
IUT理論が浮き彫りにした「地図」の不通
この「個人の内面世界」と「共通の真理」の間にある微妙なズレが、もっともドラマチックな形で表面化したのが、望月教授のIUT理論をめぐる議論です。
2012年に発表されたこの理論は、既存の数学の枠組み（足し算と掛け算が絡み合う1つの世界）を飛び出し、複数の「宇宙（異なる数学的舞台）」を設定してその関係性を記述するという、極めて独創的な言語とイメージで構築されました。
しかし、2018年にピーター・ショルツェ教授らが理論の核となる部分に懸念を表明して以来、数学界全体での完全な合意には至っていません。ここで興味深いのは、この対立が単純な計算ミスによるものではなく、「ふたつの対象を同じものとみなしてよいか（同一視の基準）」という、概念の捉え方の根本にある点です。
望月教授が脳内に描く壮大な「ホッジ劇場」という舞台のイメージや概念が、他の数学者たちが共有できる言葉や枠組みへまだ十分に「翻訳」しきれていない――。これはまさに、サーストンが言った「理解を他人に手渡すことの難しさ」そのものを象徴していると言えます。
共通の「尺度」と「検証」がつなぐ世界
数学の世界を「1つの共通の山」とするならば、数学者たちはそれぞれ自分だけの独特なルートから登っています。しかし、自分が歩んだ道筋の「地図」を完璧に他人に手渡せるとは限りません。IUT理論をめぐる混乱は、山が1つかどうかではなく、「渡された地図が他人に読めるかどうか」という翻訳とコミュニケーションの問題なのです。
計量計測の世界にたとえるなら、「測る人によって肌感覚や直観は違っても、共通の『尺度』と『検証の手続き』さえあれば、全員が同じ量を正しく扱える」という原則によく似ています。
個人の感覚を超えて真理を共有するために、共通の尺度（＝厳密な論理と証明）が必要とされます。近年では、個人の直観や主観に頼らず、コンピュータを用いて論理の正しさを検証する「Lean」などの形式化ツールが注目を集めていますが、これもまた人間に依拠しない「第三の共通尺度」を模索する試みと言えるでしょう。
人類の知性のフロンティアでは、独自の風景を見る個人の閃きと、それを誰もが納得できる言葉へと変換する普遍的な営みが、いまも絶え間なく交差しているのです。
├
├
├
├
├
TOPへ