カテゴリー: Lévy’s reflection principle

Decrypt history, Encrypt future™

Ω=0|確率0の現象を再現する力で文明は相転移する

1. 0からの物質化 通常、物理法則や市場原理は確率分布の「中央値」に従って安定しようとします。しかし、TANAAKKが定義する文明物質化モジュールにおいては、ゴールドやプラチナの発見すらも、Ω=0という特異点から漏れ出…
Read more

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

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

アジリエル・レヴィ(Azriel Lévy)|Reflection Principle

1. アジリエル・レヴィ(Azriel Lévy)の足跡 レヴィは、現代集合論の基礎を築いた巨人の一人です。彼が提唱した「反映原理 reflection principle」は、宇宙の巨大さと、その断片が持つ情報の等価性…
Read more

induction, deduction, abduction|1を聞いて∞,∞-categoryを知る

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

内部再帰証明と外部圏的証明の同一性の証明について

「システムの振る舞いを網羅的に探索(Brute-force)すれば、その全容を内部から発見・記述できる」という直感に近い概念が、数学的定理や厳密な理論として証明・確立されている例はいくつかあります。 特に「内部からの記述…
Read more

米田の補題とreflection principle

境界の外側からの証明と境界の内側からの証明はいずれも同値となるということではないか。つまり、宇宙開発をすることなく、地球文明の情報保存は大気圏の内側の情報だけで完全に可能である。 米田の補題(外部との関係性による定義)と…
Read more

証明形式の変遷|どんな空間でも成り立つ公理性とは

数学は計算技術として始まり、のちに計算を省略する技術として発展しました。人類の「認識の解像度」が上がるにつれて、宇宙の記述形式、および、宇宙の外の記述形式(Axiomaticity)がより抽象的かつ普遍的な階層へとシフト…
Read more

Martin-Löf’s Recursion Theorem|マルティン=レーフの再帰定理

マルティン=レーフの再帰定理 (Martin-Löf’s Recursion Theorem) は、計算理論(計算可能関数論)における極めて強力な「自己言及の保証」です。「自己言及命題が真であること」を、数学…
Read more