カテゴリー: 01-Mathematics

Decrypt history, Encrypt future™

エネルギー流出(赤字)の状態からトポロジカルな大逆転までの論理

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

Martin-Löf Randomness|マルティン=レーフ・ランダム性

マルティン=レーフ・ランダム性(Martin-Löf Randomness / ML-Randomness)は、1966年にペール・マルティン=レーフによって提唱された、「真のランダムな数列とは何か?」という問いに対する…
Read more

Martin-Löf’s Recursion Theorem|マルティン=レーフの再帰定理

マルティン=レーフの再帰定理 (Martin-Löf’s Recursion Theorem) は、計算理論(計算可能関数論)における極めて強力な「自己言及の保証」です。「自己言及命題が真であること」を、数学…
Read more

Univalence Axiom|一価性公理

一価性公理(Univalence Axiom)は、数千年にわたる「等しさとは何か?」という問いに対する、数学の地殻変動の終着点です。 古代の幾何学的直感から、近代の論理的厳密性、そして現代の計算機科学へと至る、「公理(A…
Read more

自己言及命題が真であることの証明|Univalence Axiom

「自己言及命題が真(あるいは無矛盾な体系内での正当性)であること」を巡る、数学・論理学・計算機科学の歴史的な理論一覧。これらの理論は、単なる「言葉遊び」としての自己言及を、「計算可能な再帰」や「自己複製するシステム」、さ…
Read more

複雑性から還元した最適テリトリープランニング

テリトリープランニング(担当エリア設計)において、営業マンが「成果を最大化できる顧客数」には数学的・物理的な限界値が存在します。 巡回セールスマン問題(TSP)が「移動の最小化」を追うのに対し、ビジネスではそこに「面談時…
Read more

Cohl Furey|コール・フューリー

コール・フューリー(Cohl Furey)は、現代物理学の最大の謎の一つである「なぜ標準模型はこの形をしているのか?」という問いに対し、数学的代数構造、特に8元数(Octonions)から答えを導き出そうとしているカナダ…
Read more

Groundization Program #axiomaticity driven decision

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

Current Algebra(カレント代数)の系譜:物理から数学への昇華

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

群論とHyperoperationの違い

群論は英語で “Group Theory” と言います。 関連する英語表現 日本語 英語 備考 群論 Group Theory 学問自体の名前 群 Group 集合 G と演算のセット 有限群 F…
Read more