カテゴリー: infinitude

Decrypt history, Encrypt future™

Interactive Proof ZKP

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

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

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

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

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

ケリー基準から導く最適運転車線

高速道路で車は走行車線を走っていたほうが追い抜き車線を走るよりも安全チェックなどと総コストが低く、渋滞で遅く感じても車線変更しない方がケリー基準的な期待値が高いのではないか。 認知速度の調子がいい時も悪い時もボラティリテ…
Read more

数学的証明とは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