CONTENTS

Decrypt history, Encrypt future™

フェルマー定理は数の性質と可解性の閾値探索問題であった

一般的にはn次方程式で4次元までは解あり、5次以上は解ありだが数え上げ必要で、複素導入が必須。整数→実数→複素数というノルムの緩和の閾値がどこであるかを探す4次方程式問題がフェルマー定理であったということをスキーマにプロ…
Read more

認知闘争を平定して計算可能宇宙を手懐けられるか

私に取って宇宙はルールが開示されたとても手なずけやすい存在である。知れば知るほどその仕組みを開示してくれるので、いまはcomputabilityの核はE8×E8×E8×E8の演算aryを出口としたケーリーディクソンhig…
Read more

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

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

E8×E8×E8×E8の対称性

ノルムE8、空間E8、時間E8、物質宇宙のキャンバスというE8がbasepoint0を共有するような論理aryとしてoperadの舞台を用意してみる。そうすると248次元のカルタン部分環基底が8であり、ベクトル112、ス…
Read more

Interactive Proof ZKP

コンピューターサイエンス(計算複雑性理論)において、Interactive Proof System (対話型証明システム) は、従来の「証明」の概念を拡張した非常に強力な枠組みです。 1. 基本 対話型証明は、能力の異…
Read more

現代LLMのボトルネックとブレイクスルーとしての圏論的言語モデルの必然性

現代LLM、主にgemini, chatgptにおいてクエリ↔︎レスポンスを実現するためのバックエンドエンジンには、構造的な弱点があり、それは高次圏論や高階論理的多次元高階情報を強制的に低次トランケーションして単一空間ベ…
Read more

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

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

チューリングパターン|The Chemical Basis of Morphogenesis

アラン・チューリングが1952年に発表したThe Chemical Basis of Morphogenesisという論文は、生物学における「形(形態)」がどのように生まれるかを、「DNAの設計図」ではなく「物理・化学の…
Read more

麻田理論の数学的証明|業績⇄理念は随伴する。特定決算期の業績は理念の部分集合である

企業業績はA:X⇄Yの空間航行問題である。 企業Aが持つ理念と業績の間に随伴関係⇄があるのであれば、企業Aは当然その業績Yを達成することができる。 理念X=論理的演算系、停止条件 業績Y=物理的出力 と定義すれば、特定決…
Read more

わかりやすさの弊害は作為者自身も特異点に取り込まれることである。

あまりに高度で機能的な数学理論を確立してしまったとき、それを素直に書くとジェイコブルーリーのhigher category theoryやウラジミルヴォエヴォドスキーのhomotopy type theoryのように難解…
Read more