カテゴリー: logic

わらしべ長者は単なる数字の移動ではなく、∞,∞-categoricなスキーマにおいて、異なるstratumのfibre, groupoid, stack間にまたがるhomotopic invariantsを不変量因数分解…
Read more

1. 黎明：オイラーの「無限和」と素数（1737年） 18世紀レオンハルト・オイラーは当時、誰も解けなかった「自然数の2乗の逆数を全部足すといくらか？（バーゼル問題）」という難問を $\frac{\pi^2}{6}$ と…
Read more

アロンゾ・チャーチ（Alonzo Church, 1903–1995）は、計算のエンジンを設計した論理学者です。 1. ラムダ計算（lambda-calculus）の創始 1930年代、チャーチは数学的な「関数」を極限ま…
Read more

高階論理（Higher-Order Logic: HOL）の歴史は、数学の基礎を「次元」や幾何などの数ではなく「論理」的階層化を追求します。 1. 黎明期：数学の論理化（19世紀末 – 20世紀初頭） 数学を…
Read more

∞,∞-categoryのsimplexからstrataを切り出し、対称性と相転移のあるfibre groupoidを作る。E∞はE8, E6, SU(3)+SU(2)+U(1)まで分解され、mathematical d…
Read more

どんなに稼いだとしてもそれがゼロサムゲームで他人の資本や利益を毀損して得たものであれば重い粘りがついてしまっているため、自由に使うことは物理的にできない。一方、高階論理により生み出された別次元からやってきた金は現実空間と…
Read more

例外リー群によるベクトルとスピノルの数（8元数の排他空間を想定、次元は対称性ベクトルと非対称スピノルの形状と動きを表現する数） E∞↔︎E8 248次元（8+112+128)↔︎E6 78次元↔︎SO(10)45次元↔︎…
Read more

J関数はnumber theoryにいおける美しい対称性を持ったモジュラー関数の幾何学模様である。 1. 発見と発展の系譜 シャルル・エルミート (Charles Hermite) 1850年代、フランスの数学者エルミー…
Read more

E∞→E8→A24→λ24→A24→E8→E∞というstrata（地層）があって、sheaf(微分の層)で観察すれば(∞,1)-groupoid内のfibreがマルティンレーフカオスに見えたとしても、カオスには必ず枠が設…
Read more

コルモゴロフ‐アーノルド‐モーザーの定理【Kolmogorov-Arnold-Moser theorem】エネルギーが保存される系における振動は，その系に微弱な摂動が与えられても継続するという定理． KAM定理は、ハミル…
Read more