カテゴリー: computability

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

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

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

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

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

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

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

ポアンカレ仮説(Poincaré conjecture)におけるペレルマンサージェリーのサージェリー（手術）という操作が、一見すると「形を勝手に変えている」ように見えながら、なぜ数学的な論理破綻を招かないのか。そこにはペ…
Read more

人類は全ての宇宙を観測するという帰納法（Induction）ではなく、手元にあるわずかな局所情報だけで宇宙全体を推測するという帰納法（Induction）と演繹法（Deduction）のハイブリッドな推論(Abducti…
Read more

reflexivityによるhomotopy typeのみで内部証明するというのはbluteforceすれば良いですが、あくまで解の近似による証明であり、迷宮の出口があることを100%検証するような内部証明はまだ数学的に…
Read more