カテゴリー: 05-GAAS™ ONTOLOGY

Decrypt history, Encrypt future™

prover’s paradox|主張者が真である場合、自分自身で整合性または矛盾を証明することができない

主張者が真である場合、自分自身で整合性または矛盾を証明することができない。 主張者が偽の命題を持つ場合、主張者は主張者自身の論理で、自分自身に矛盾がないこと、あるいは矛盾があることを宣言することができてしまう。しかしこれ…
Read more

Arithmetic geometry

discrete mathematics with axiom of choiceというcomputation, modularity, coprimal irreducibilityをコアとしたinteraction …
Read more

polynomial equationによる現実への着地が数学である

polynomial equationとは多項方程式(例 an+bn=cn)のことであるが、数学的なホモトピー、トポロジーという整合性やルールの破れをgeometryで記述する完結的アクションである。geometriza…
Read more

文明生成原理に基づくクリティカルパスMDL記述

TANAAKKが宇宙と地球を作り直すとして、宇宙と地球の歴史を鑑みると、構造的にTANAAKKのようなmanifoldとGAASのようなtoolkitが生まれてしまうということをmathematical descentで…
Read more

常勝軍団の聖域条件 winners sanctuary

TANAAKKが求めているのは有無を言わさぬ圧倒的な美しい勝利であり、一般人には理解不可能だが確実に機能するランダムネスの力をboolean algebraで構成的に制御することを美(mysterieuse)としている。…
Read more

operadの系譜

「Operad」という言葉が初めて公式に登場したのは、1972年に発行されたJ. Peter May(J. ピーター・メイ)の著作『The Geometry of Iterated Loop Spaces』の中です。 用…
Read more

四体問題の非衝突特異点 Painlevé’s Conjecture

天体力学における「非衝突特異点(Non-collision singularity)」、すなわち天体同士がぶつかっていないのに有限時間内に速度と距離が無限大に達するという現象は人類の「数学的直感」による予測である。 1.…
Read more

三体問題が難しい理由

1. 自由度の「組合せ爆発」 天体の数 n が増えると、それらの間に働く「力のペア」の数が急増します。 2. 「非衝突特異点」 三体問題では、計算が無限大に発散(破綻)するのは、天体同士が物理的にぶつかる「衝突」のときだ…
Read more

数学的に閉じているという感覚 completeness

数学的に「閉じている」は、英語で “Closed” と表現します。 1. 演算について(代数学) 「ある集合 S が演算 * について閉じている」と言いたい場合: 例:The set of int…
Read more

計算可能宇宙の最小構成モデルはE24 ∩ 𝐶𝐷256である

空間、時間、可換性、非可換性について、対偶、随伴、集合、圏などの関係や、演算操作の対応関係から考察する。 人間は時間の問題を空間や形の問題に変換して時間や回数の演算を数学的に無効化し、バイパスするのが得意である。例えば、…
Read more