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

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

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

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

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

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

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