CONTENTS

Decrypt history, Encrypt future™

About E8 framework|例外型リー群 E8

数学と理論物理学の双方で極めて重要な役割を果たす例外型リー群 E8、およびその無限次元の拡張や関連する代数構造(E∞)について、歴史的論文により理解を深める。 これらの群・代数は、単なる対称性の分類を超えて、弦理論(スト…
Read more

Chesterton’s Fence チェスタトンの柵|Gilbert Keith Chesterton

現代の法構造、インフラストラクチャ、テクノロジーは人間の認知を超えた複雑性を有する。したがって人間の個人の判断だと歴史的な積み上げのシーケンスが膨大になってくると常に不要だから外しても良いという軽率な判断になりうる。新し…
Read more

Consensus complexity | Multi-prover Interactive Proof with commutative dynamic role swapping(dynamic MIP=NEXP)

Theme No.1 : Which historical topology do we choice to reside? historical tautology:Thales, Pytagoras, Euclid,…
Read more

MIP∗ = REに至る過程

https://www.math.ias.edu/~avi/TALKS/PvsNP_Clay%20Research%20Conference_2025.pdf#page=33.00 MIP∗ = RE(Nov 7 202…
Read more

不可能性の発見の歴史|アーベル群

① √2 が有理数にならないことの証明(紀元前6世紀頃 ギリシャサモス・ピタゴラス学派) 歴史上、最も古い不可能性の証明です。「正方形の辺の長さと対角線の長さを、どちらも整数比で表すことは不可能である( √2 は分数で表…
Read more

The Boundary Conditions of the Interactive Knowledge Machine 対話型知識マシンの境界条件

Humans generally explore the ‘edges’ of theory based on the premises of classical theorem sequences. When sear…
Read more

Books about computational complexity

Books of computational complexity https://www.math.ias.edu/files/Book-online-Aug0619.pdf https://www.math.ias.…
Read more

P vs NP

The impact of the P vs NP framework on the global power game is fundamental. Most people do not realize that a…
Read more

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

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

constraints: continuum vs discrete

There is a fundamental gap in effective universe model game. Continuous models—much like trying to solve the C…
Read more