全体概要
本セミナー「20180630Math角川」は、数学の歴史的源流から現代物理学の最前線までを一気に貫く、知的冒険の講義です。中心的な「問い」は、「数学とは何か、そして数学はいかにして現実の宇宙を記述しうるのか」という根源的なテーマです。
議論は古代バビロニア（紀元前1800年代）の粘土板から始まります。YBC 7289やPlimpton 322といった遺物が示すように、人類は√2の近似値や直角三角形の整数解（ピタゴラス数）を、ギリシア以前の文明においてすでに高度な精度で把握していました [p.47, p.48]。この事実は「数学の始まり」に関する通念を大きく問い直すものです。
そこから講義はギリシア数学の黄金期へと進みます。ピタゴラス、プラトン、エウクレイデス（ユークリッド）、アルキメデス、エラトステネスといった巨人たちの業績を紹介しながら、特にユークリッド『原論』が2000年以上にわたって数学的思考の骨格を形成してきた経緯を丁寧に追います [p.74, p.78, p.82, p.83]。
講義の最大のクライマックスのひとつは、19世紀に生まれた「非ユークリッド幾何学」の衝撃です [p.90, p.91]。ガウス、ボヤイ、ロバチェフスキー、そしてリーマンへと連なる革命的な思考の連鎖が、「空間そのものの曲がり」という概念を数学に導入しました。リーマンが1854年に行った記念碑的な講演「幾何学の基礎をなす仮説について」[p.93, p.105] は、次元・計量・曲率という現代的な枠組みを初めて提示し、その思想はアインシュタインの一般相対性理論へと直結します [p.94, p.100, p.102]。
終盤には、時空の計量・測地線・光円錐・因果構造といった相対論の核心概念が展開され、さらにZFC集合論やトポス理論、Univalent Foundationsなど数学の基礎論の現在形まで射程に収めます [p.130]。本講義は「数学史」の概説にとどまらず、数学という営みが問い続けてきた「空間・構造・真理」の本質に肉薄する、総合的な知的探求です。
—
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: 導入・動機と講義の枠組み
なぜ今、数学の歴史を語るのか。IT技術の普及によって「数学とITの接点」への関心が高まっている一方で、その背景にある数理的基盤は見過ごされがちです。本講義はその空白を埋めることを目的とし、古代から現代までの数学の骨格を体系的に提示します [p.2]。
■ Part 2: バビロニア数学――「ピタゴラス以前」の驚異
ピタゴラスの定理として知られる関係式は、ピタゴラス（582〜496 BC）よりも遙か以前、バビロニア文明において実質的に知られていました。粘土板の数値が示す精密さは、古代の数学的知性の高さを如実に物語ります [p.47, p.48]。
■ Part 3: ギリシア数学の巨人たち
ピタゴラス、プラトン、エウクレイデス、アルキメデス、エラトステネスという一連の思想家が、数学を「経験的技術」から「論理的演繹体系」へと転換させました。この転換こそが西洋科学の根幹を形成します [p.55, p.74, p.75]。
■ Part 4: 複素数と幾何学の拡張
ピタゴラスの定理 x²+y²=r² は、複素数平面の導入によって x+iy という形で幾何学的に再解釈されます。実数軸と虚数軸を組み合わせた「複素平面」は、数と幾何を統合する強力な言語となります [p.60, p.61]。
■ Part 5: 非ユークリッド幾何学の革命
2000年間「自明の真理」とされてきたユークリッドの第5公準（平行線公理）を否定することで、まったく異なる整合的な幾何学が構築できることが19世紀初頭に発見されました。この発見は数学の「絶対的真理」観を根底から揺るがしました [p.90, p.91, p.92]。
■ Part 6: リーマン幾何学――空間の内的構造
リーマンの1854年の講演「幾何学の基礎をなす仮説について」は、「n次元多様体」「計量テンソル g_mn」「曲率」という現代的概念を初めて体系的に提示しました。これはアインシュタインの一般相対性理論の数学的基盤となり、現代物理学の根幹を支えます [p.93, p.94, p.100, p.102]。
■ Part 7: 相対性理論と時空の幾何学
リーマン幾何学の言語は、アインシュタインの一般相対性理論において「重力＝時空の曲率」という形で物理的実体と結びつきます。測地線・光円錐・因果構造といった概念が、数学的厳密性と物理的直観の両面から提示されます [p.120, p.121, p.122, p.127]。
■ Part 8: 数学の基礎論と現代的展開
講義の最終部では、数学全体の「土台」を問い直す基礎論の現在が示されます。ZFC公理系、トポス理論、Univalent Foundations（ホモトピー型理論）など、現代の数学基礎論が抱える問題意識と多様なアプローチが俯瞰されます [p.130, p.131, p.132]。