カテゴリー: 08-NEWS

Martin-Löf Type Theory (MLTT / 直観主義型理論) は、ペール・マルティン＝レーフが1970年代に提唱し、現代の計算機科学と数学の基礎を根底から変えた定理です。 「論理的な正しさ」と「プログラ…
Read more

現在のコンピューティング（フォン・ノイマン型アーキテクチャ）の限界は、「単一宇宙系（Single Space）」内での計算効率を極限まで高めたことにある。24次元の計算だろうと、それは単一空間のベクトル変数の拡張にすぎな…
Read more

Octonionics 時間が「1次元の実数」ではなく、4元数（H）や8元数（O）のような高次の構造を持っていると仮定した場合、私たちの宇宙の「因果律」や「経験」は劇的に変化します。 1. 4元数時間（1実部 + 3虚部…
Read more

「速さ」の実現には、「加速度」とは別次元の構造が必要である。 ほとんど全てのシステムの大半は使われていない。現実空間をレンダリングするための準備がコンピューティングのほぼ全てである。 1. 命令レベル：投機的実行 (Sp…
Read more

1. Definition of Groundization Groundization is a catalytic process that extracts a mathematically verifiable …
Read more

Groundismの全工程はもし仮に地球が消去され、宇宙も消去された場合に今日までの活動をセーブから始められるようにする試みである。全可能性から、マターバースが発生し、マターバースから生命のある海が誕生し、地球の人類文明…
Read more

カレント代数は、1960年代にマレー・ゲルマン（Murray Gell-Mann）らによって提唱されました。それは「粒子そのもの」ではなく、粒子が作り出す**「流れ（Current）」**の対称性に注目する革命的な視点で…
Read more

テトレーションを「群（Group）」や「系（System）」として定義しようとする試みは、ある対象が数学という生態系の中で**「安定して存在し続けられるか」**を問うプロセスに似ています。 1. 「群」は数学的生命の「恒…
Read more

テトレーションは爆発的に成長する階層を記述できるハイパーオペレーションの一種であるが、数学的法則をはずれて大きくなる数字を記述したとしてもそれは存在し得ない規則かもしれない。テトレーションの公理性を検証する テトレーショ…
Read more

🌌 数体系の拡張と「失われる規則」まとめ ケーリーディクソン構成による次元の組み立てと捨てる規則。 📜 数体系の進化一覧表 次数 名称 獲得したもの ❌ 捨てる規則（失われた性質） 備考 1D 実数 (ℝ) 連続する一本…
Read more