カテゴリー: 05-GAAS™ ONTOLOGY

Decrypt history, Encrypt future™

願望のホモトピータイプ特定 Attention to Materialization

AがXからYに行きたいという問題A:X→Yは問題の形状と性質の問題である。A:X→Yという願望実現は最小作用空間航行問題と同型である。つまり、AというホモトピータイプがX↔︎Yという可換である内部項を有していれば、AがX…
Read more

Lawは制約条件下における分散型決定システムであり、mathematics, computationに対する高次圏論である。

law of constraintslaw of physicslaw of coorporationlaw of scaleparadox, inconsistency, incomprehensibilityprin…
Read more

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