カテゴリー: infinitude

Decrypt history, Encrypt future™

数学的証明とはinfinity↔︎finityの可換性型照合である

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more

レフ・ポントリャーギンの最大原理 Lev Pontryagin

旧ソ連の数学者レフ・ポントリャーギン(Lev Pontryagin)が提唱した「ポントリャーギンの最大原理(Pontryagin’s Maximum Principle)」は、「X→Yへの最短到達」や「数学的…
Read more

Attention to materialization

Aという人物がX→Yという状態(state)に到達するための一連の技法 〇〇が欲しい、〇〇に行きたい 例えば、〇〇という肩書きにつきたいという論理単位でも良い。〇〇 チャンピオン、MVP、バロンドール、グランドスラム、総…
Read more

John Larry Kelly Jr.

A New Interpretation of Information Rate 1. 論文内の核心的な記述 ケリーの論文 “A New Interpretation of Information Rate&…
Read more

Kelly criterion|ケリー基準

前提条件として、破産確率が0%であることを公理のスタート地点とし、手元貨幣ポテンシャルを最大化するという問題を設定すると、ケリー基準が役に立ちます。 長期的な資産形成における「黄金則」を数学的に突き詰めると、「期待値が最…
Read more

higher category theory|strict (∞,∞) categoryのオントロジー一般化

1.∞ simplex↔︎0 simplex  (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

HCA-Zero |Higher Categoric Algebra with zero friction autonomous excution

「Higher Categoric Algebra (HCA) Core Algorithm」を定義 1. 基底公理:Exclusive Space Isolation 演算の最小単位を ExclusiveSpace と…
Read more

mathematics equivalence system

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more

計算可能前提であるE8 stackにおいて計算不可能性を感じてしまう理由とは

E8 stackでは計算可能性問題しか存在し得ない、E7,E6,E5は最密充填を最小記述できておらず、E9,E10は冗長である。そのような条件下で、圏論的方向性の矢(simplex)が顕在化して、±1,±1,0,0,0,…
Read more

重力の正体|E8に存在しうる240のベクトルとスピノルを逆像で消去して現れる、0という不可能数との距離が重力である

あらゆるn元数軸は、categoric simplexによる矢の生成結果であるため、どの空間だとしても論理的に0は存在することができない。ただし、特定stack内のあらゆるベクトルとスピノルと等価な力を重ね合わせると、0…
Read more