講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナー「現実の世界と数学の世界」は、MaruLabo数理ナイト・シーズン１の第一夜として開催されました。その中心的な「問い」は、「数学の世界と現実の世界は、どのような関係を持つのか」という数理哲学の根本問題です [p.4]。
現代社会において、ITと数学の接点はますます広がっています。ディープラーニングや量子コンピュータといった新技術を理解しようとすれば、必然的に数学的知識が要求されます [p.2]。しかし本セミナーは、数式を使って「数学をする」ことよりも、数学について「考える」ことに重点を置きます。基礎的な概念であればあるほど、計算より思索が重要だという信念がその背景にあります [p.3]。
セミナーが探求の軸として選んだのは、「ピタゴラスの定理が、リーマンとアインシュタインによってどのように拡大されたか」というテーマです [p.4]。古代バビロニアで既に知られていたとされるピタゴラスの定理 [p.46] は、ユークリッドの公理体系 [p.84] を経て、19世紀リーマンの「多様体論」と「計量」の概念へと昇華されます [p.96], [p.100]。さらにそれは、アインシュタインの一般相対性理論における「曲がった時空」の記述へと結実します [p.116], [p.124]。
もう一つの重要な動機として、ディープラーニング中心の知能へのアプローチへの「物足りなさ」が挙げられています。人間の知能は、イメージをシンボルとして脳内で反省的に操作できる能力——すなわち言語・数学的能力——を持っており、それは単純な特徴抽出の総和には還元されないという立場が示されています [p.5]。
このような問題意識のもと、本講義は「イメージ実験（思考実験）」から始まり、古代数学・ユークリッド幾何学・非ユークリッド幾何学・リーマン幾何学・ミンコフスキー時空・一般相対論という壮大な知の系譜を一本の筋でたどります。数式に不慣れな方でも、数学の「面白さ」と「深さ」を体感できることを目標とした、数理哲学への本格的な招待状です [p.3], [p.4]。
講義のロードマップ
■ Part 1: イントロダクション——数学・知能・数理哲学
- この部の核心:
社会とITの複雑化にともなう「数学との接点の広がり」を確認し [p.2]、本セミナーの立ち位置——数学を「する」のではなく「考える」——を宣言します [p.3]。数理哲学の中心問題（数学の世界と現実の世界の関係）を提示しつつ [p.4]、人間の知能における「シンボル操作能力」の重要性という独自の問題意識も表明されます [p.5]。
- 論理展開:
- 現代IT技術（ディープラーニング・量子コンピュータ）と数学の接点の拡大 [p.2]
- 「数学をすること」と「数学について考えること」の区別。基礎的概念ほど思索が重要 [p.3]
- プラトンの「観念実在論」やカントの「先験的直観形式論」を参照しつつ、本講義の立場（数学は対象認識の拡大とともに事後的に構成された体系）を提示 [p.4]
- 知能＝「イメージのシンボルとしての反省的操作能力」であり、ディープラーニング的還元主義への批判的視点 [p.5]
■ Part 2: 思考実験１——「正しい三角形はどこにあるか」
- この部の核心:
「頭の中の三角形」と「実在する三角形」の差異を問う思考実験を通じて、数学的対象の存在論的地位を直観的に探ります [p.15], [p.16]。「連続量は測定不能、離散量は計数可能」という洞察と、「時間が流れない」頭の中の図形世界の特質が明らかにされます [p.22], [p.25]。
- 論理展開:
- 実在する三角形は不正確であり、「正しい三角形」は頭の中にしかない [p.16]
- 「三角形」という言葉（シンボル）が、実在と観念の双方を共通に指示できる——カラビ・ヤウ多様体との比較で明確化 [p.16], [p.17], [p.18]
- 頭の中の図形は「長さ・面積・体積・重さ・時間」を持たない（測定不能）[p.22]
- 連続量（辺の長さ）は定義不能だが、離散量（点の数）は計数可能 [p.25]
■ Part 3: 思考実験２——「どこまでも広がる水平面」
- この部の核心:
「無限に広がる水平面」のイメージを操作する実験を通じて、人間の空間直観がスケールによって変容することを示します [p.36], [p.37]。「平面→球面→点」という視点変換の経験は、後のリーマン幾何学・非ユークリッド幾何学への直観的橋渡しとなります [p.38]。
- 論理展開:
- 広大な水平面は、高度を上げると球面の一部であることが判明する——局所的「平坦」と大域的「曲率」の対比 [p.36]
- 「水平面→球面→点」と「壁として見た水平面」という二つの視点変換の実験 [p.38], [p.40], [p.42]
- 無限大の球体のイメージは原理的に困難——「宇宙の外から宇宙を見る」不可能性と同義 [p.44]
- イメージの有効範囲は局所的であり、「無限小への縮小」の方が「無限大への拡張」より有効 [p.45]
■ Part 4: 古代の数学——バビロニア・エジプト・ギリシャ
- この部の核心:
ピタゴラスの定理の起源を歴史的に辿ります。紀元前1800年頃のバビロニアが既に√2の高精度近似値とピタゴラス数を知っていたこと [p.47], [p.48] は、2017年の新たな解読によって決定的に裏付けられました [p.49]。ギリシャの数学者たちの系譜も整理されます [p.55]。
- 論理展開:
- 粘土板YBC 7289：60進法4桁（10進6桁相当）で√2≒1.41421296を記録 [p.47]
- Plimpton 322：ピタゴラス数の体系的記録、2017年の「精確な六十進法三角法」解釈 [p.48], [p.49]
- エジプト・Berlin Papyrus 6619 にも二乗和の問題が記録されている（~1800 BC）[p.54]
- ピタゴラス・プラトン・ユークリッド・アルキメデス・エラトステネスの年代と関係 [p.55]
■ Part 5: プラトンの「観念実在論」とユークリッド「幾何学原論」
- この部の核心:
「幾何学を知らざる者、入るべからず」というプラトンの標語のもと [p.62]、「洞窟の喩え」に基づく「観念実在論」——真の実在はイデアの世界にあり、数学的対象もそこに属するという思想——が解説されます [p.64], [p.66]。続いて、後世の哲学（デカルト・ライプニッツ・スピノザ）にまで影響を与えたユークリッドの公理的方法が詳述されます [p.82], [p.87], [p.88]。
- 論理展開:
- プラトンの「洞窟の喩え」：我々が感覚するのは「形相（エイドス）」の影に過ぎない [p.64], [p.66]
- 正多面体（プラトンの立体）5種類とオイラーの標数（頂点−辺+面＝2）[p.67], [p.68]
- ユークリッド「幾何学原論」全13巻：定義・公準・公理の体系。特に第5公準（平行線公準）の特異な地位 [p.82], [p.83], [p.84], [p.85], [p.86]
- デカルトの方法的懐疑・ライプニッツの無矛盾性・スピノザの「幾何学的秩序」への影響 [p.87], [p.88]
■ Part 6: 非ユークリッド幾何学の発見とリーマン幾何学
- この部の核心:
第5公準（平行線公準）の否定から生まれた非ユークリッド幾何学（ボヤイ・ロバチェフスキーの双曲幾何学）[p.90], [p.91] を踏まえ、リーマンが「多様体」と「計量」という革命的な概念を打ち立てるまでの論理的発展を追います [p.94], [p.96], [p.100]。ここでピタゴラスの定理 `ds²=dx²+dy²` はn次元・非平坦空間へと一般化されます [p.101], [p.102]。
- 論理展開:
- ガウス・ボヤイ・ロバチェフスキーによる非ユークリッド幾何学の成立（三角形内角の和が180度未満または超過）[p.90], [p.91], [p.92]
- リーマン「幾何学の基礎をなす仮説について」：幾何学の前提は公理ではなく「仮説（経験的確実性）」である [p.94]
- 「多様体」の定義：局所的にユークリッド空間とみなせる曲面。接平面上でピタゴラスの定理が成立 [p.96], [p.97]
- 「計量テンソル g_mn」の導入：`ds² = g_mn(X) dX^m dX^n` として長さの一般定義を確立 [p.100], [p.101], [p.102]
- クリストッフェル記号・共変微分・リーマン曲率テンソル・リッチテンソルという計算体系の整備 [p.111], [p.112], [p.115]
■ Part 7: ミンコフスキーとアインシュタイン——曲がった時空
- この部の核心:
リーマン幾何学の枠組みが、ミンコフスキーの「時空」概念 [p.120], [p.121] とアインシュタインの一般相対性理論 [p.116], [p.124] へと応用される経緯を示します。「固有時間」の定義、計量テンソルの符号が変わるミンコフスキー計量、そしてアインシュタイン方程式という三段構成で、ピタゴラスの定理の最終的な拡張形が示されます。
- 論理展開:
- ミンコフスキー以前：時空は「同時刻の空間」の平行スライスとして想像されていた [p.120]
- ミンコフスキー空間：観測者の速度によって「同時刻面」が異なる——アンドロメダ銀河の例 [p.121]
- 「光円錐（Null cone）」の概念と、特殊相対論（平坦・一様）から一般相対論（曲がった・非一様）への移行 [p.122], [p.123], [p.124]
- ミンコフスキー計量：符号が `(+,+,+,+)` から `(-,+,+,+)` または `(+,-,-,-)` へ変化し、「固有時間」を定義 [p.125], [p.127]
- アインシュタイン方程式：リッチテンソル・スカラー曲率・計量テンソルと、エネルギー運動量テンソルの関係として定式化 [p.116]
■ Part 8: 今後の予定——シーズン１の全体構成
- この部の核心:
本シリーズが全4夜で構成されていることを示し、第一夜の「幾何学・実在論」から、集合論・計算理論・証明支援システムへと深まっていく学習ロードマップが提示されます [p.128], [p.130], [p.131], [p.132]。