カテゴリー: axiomaticity

前提条件として、strict(∞,∞)-categoryを想定すると、superlocality, categoric localityが必要である。 現代物理学が直面している「ベルの不等式の破れ」や「量子非局所性」とい…
Read more

strict(∞,∞)-categoryを前提とすると全てのcategoric simplexは唯一のデータとして保存される。一方、strata, sheaf, fibreは全て柔らかく可変であり、あとからテーブルクロス…
Read more

数学や理論物理学（特に超弦理論など）の文脈で登場する ∞-Operad（インフィニティ・オペラド） は「結合法則や交換法則が、厳密な等号ではなく『連続的な変形（ホモトピー）』の意味で成り立つ代数構造」を扱うための枠組みで…
Read more

数学とは自動発動の光の道を記述し、全宇宙civlizationが使えるインフラに昇格させる儀式ではないか。そこには目に見えないが確かにある抵抗をかきわけ、カウンターアルゴリズムを仕掛けながら先に進むと言う工夫が必要である…
Read more

1. エネルギー流出の再定義：探索コストとしての「赤字」 通常、エネルギー流出（赤字）はシステムの崩壊を意味しますが、これを**「未知空間へのプローブ（探針）の投射」**と捉え直します。 2. 逆転のメカニズム：オセロの…
Read more

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

1. 概念の導入：数学的直感と形式化の不整合 数学史において、形式的な公理系（例：1922年前後に整備されたZermelo-Fraenkel集合論、ZFC）の確立以前に発見された定理が、後の厳密な体系下でも有効性を保つ事…
Read more

Axiomaticityという言葉がある。 例えば、チューリングはZFC公理系を知らなかったが、のちにZFCによる証明に耐えうる理論であることが判明した。一方で公理あると信じられていたピタゴラスやユークリッドの定理もある…
Read more