カテゴリー: logic

E8の例外リー郡の八元数宇宙は計算可能宇宙であるとすれば、宇宙全体が閉じているのに不連続なincomputabilityが局所存在してしまう理由はなんなのか。 例えば、グローバルなオープンマーケットプリンシプルが働かない…
Read more

∞-operad を起点とすれば、stratum, site, sheaf,fibre,groupoid,stack はすべて「必然的な随伴」として導出されます。 Operad（No.25の糸） は「演算の型」を定義しま…
Read more

相対的invariantsには素数、リーチ格子、次元、圏（site,sheaf,stratum,fibre,stack, kan complex, horn, filler, operad)などがある。一方、catego…
Read more

Kan complex（カン複体）の定義は、数学的には「すべてのホーン V(n, k) からの写像が n-単体 Δn へ拡張できること」を意味する。kan complexの定義そのものがどんなhornに対しても必ずそれを…
Read more

わらしべ長者は単なる数字の移動ではなく、∞,∞-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