カテゴリー: Axiomaticity

“真に意味のある同一視は、要素の完全一致（strict equality）ではなく、構造保存的な可逆性＝equivalence によって与えられる” 論点は、 なぜ Voevodsky や Lurie のように、stri…
Read more

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

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

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

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