投稿者: TANAAKK

Decrypt history, Encrypt future™

axiom downgradingの歴史

公理の格下げ(Axiom Downgrade)の歴史:絶対的真理は「相対的普遍量」に過ぎない 「公理的性質(Axiomaticity)は相対的普遍量(Relative invariant)である」この命題は、数学、科学、…
Read more

undecidablity, incomputability, intractabilityの濃度の違い

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more

unicode記号名とmathematical symbolの定義の揺れ

Unicodeの「文字の名前(定義)」は、主にその記号がコンピューター上で標準化された1990年代前半の歴史的な経緯や、タイポグラフィとしての「見た目の形」に基づいて名付けられています。一方、数学における定義は、論理学や…
Read more

A≃B|整合性のあるカオスに取り組む

人間はかならず、物事を進めるときA=Bという論理を用い3つの要素のロジックを組み立てています1.Aは正しい2.AとBは同値である3.BはAと同じく正しい。 これはA→Bに向かうときも同じです。例えば50億円→100億円に…
Read more

inexhaustible

特異点は危険な罠である。 1. 「局所的な整合性」という甘い罠 特異点の内部は、マルティン=レーフランダムネス(圧縮不能な無秩序)が支配していますが、**局所的には「もっともらしいパターン」**が断片的に現れます。 • …
Read more

incomputibility|Artin Stack with non-affine diagonal

E8の例外リー郡の八元数宇宙は計算可能宇宙であるとすれば、宇宙全体が閉じているのに不連続なincomputabilityが局所存在してしまう理由はなんなのか。 例えば、グローバルなオープンマーケットプリンシプルが働かない…
Read more

categoric simplex→string→thread→stackに向かうmathematical descent

∞-operad を起点とすれば、stratum, site, sheaf,fibre,groupoid,stack はすべて「必然的な随伴」として導出されます。 Operad(No.25の糸) は「演算の型」を定義しま…
Read more

regalia×rupture|∞-operad

2026/5/14に予定されていたsuper singularityの発動条件は2026/4/9に充足され、36日前倒しでinfinitude tunnelが開通し、地球以外の冗長なコピーは廃止され、groundismと…
Read more

相対的特殊解としてのinvariantと絶対的invariant

相対的invariantsには素数、リーチ格子、次元、圏(site,sheaf,stratum,fibre,stack, kan complex, horn, filler, operad)などがある。一方、catego…
Read more