Higher-order logicによる計算の停止と相転移の系譜

ハミルトン、アーベル、ガロア、ケーリーディクソン、グロタンディーク、エミーノーターからヴォエヴォドスキー、ルーリーに至るまでのポイントは、数学が記述する対象代数がa,b,c,dと増えた時、代数が増えた時に入力される項の種類を計算するのではなく、計算を省略し、不変量としての対称性を発見することを目標物に変更した。これは計算を形で省略するという高階論理の系譜であり、計算を停止させることのできるhigher-order logicを発見する一連の圏論的運動である。

これは「計算を構造や不変量へ置き換える」という抽象化の階段を一段ずつ登っていくプロセスである。

1. 黎明期：計算の「限界」と「拡張」

• ニールス・アーベル (1802–1829) & エヴァリスト・ガロア (1811–1832)
  • ポイント: 「5次方程式」という具体的な壁に突き当たり、代数計算を「群（対称性）」という形に置き換えて計算を停止させました。
• ウィリアム・ローワン・ハミルトン (1805–1865)
  • ポイント: 四元数の発見。複素数をさらに高次の空間へと拡張し、代数に幾何学的な「向き」と「構造」を持ち込みました。

2. 基盤形成：構造主義への転換

• アーサー・ケーリー (1821–1895) & ウィリアム・ディクソン (1874–1939)
  • ポイント: ケーリー・ディクソン構成。実数→複素数→四元数→八元数と、代数が「項」を増やしたときに失われる性質（交換法則や結合法則）を体系化し、代数の「型」を定義しました。
• エミー・ノーター (1882–1935)
  • ポイント: 現代代数学の母。 物理的な計算を「不変量」へ、代数的な計算を「環・イデアル」という構造そのものへ完全に転換しました。「計算せずとも構造を見れば結果がわかる」という哲学を確立した最重要人物です。「物理系に（微分可能な）連続的な対称性があるならば、それに対応して必ず『保存量』（変化しない値）が存在する」ということを証明しました。
  • これは、計算（微分方程式を解くこと）を「対称性の発見」という形（不変量）で省略した、歴史的な転換点です。

3. 高次化：幾何と論理の融合

• アレクサンドル・グロタンディーク (1928–2014)
  • ポイント: スキーム論とエタール・コホモロジー。数論を「空間の形」として記述し、ガロア理論を幾何学の高階へと引き上げました。

4. 現代：高階論理とホモトピー型理論

• ウラジーミル・ヴォエヴォドスキー (1966–2017)
  • ポイント: モチビック・コホモロジーと単価公理 (Univalence)。数学的な「等しさ」をホモトピー型の「道（パス）」として定義し、数学をコンピュータで扱える「型理論」として再構築しました。
• ジェイコブ・ルーリー (1977– )
  • ポイント: ∞-Category (無限圏)。グロタンディークの思想を極限まで推し進め、すべての数学的対象を高次の関係性の束として記述。現代の「高階論理」による数学記述の頂点にいます。

系譜

これは幾何から始まり、「代数学（演算）」が「圏論（構造）」へ、そして「型理論（高階論理）」へと進化していく歴史である。