カテゴリー: Set Theory

「Truncatability（切断可能性）」は、高次カテゴリー論やホモトピー理論において非常に専門的な意味を持つ概念です。 一言で言えば、「高次の複雑な構造を、低次のデータだけで完全に復元できるか？」という性質を指しま…
Read more

アルゴリズム的情報論（Algorithmic Information Theory: AIT）は、1960年代にレイ・ソロモノフ、アンドレイ・コルモゴロフ、グレゴリー・チャイティンの3人が独立に創始したもので、情報の「意…
Read more

MDL（最小記述長）は「知能による宇宙の最短記述」です。アルゴリズム的情報論を用いた、高論理深度な系の低コストなシミュレーション。情報を最小の記号数、文章長（冗長性）、演算長（論理深度）で表現するための理論的枠組みです。…
Read more

チャールズ・ベネット（Charles H. Bennett, 1943年 – ）は、IBMの研究員であり、現代の量子情報理論および物理学と情報の境界領域における貢献をしています。 1. 論理深度 (Logic…
Read more

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

公理系：ZFC、チューリング、Avi Wigderson 物理学は「観測による近似」、コンピューティングは「公理の展開」 1. 物理学（近似）とコンピューティング（公理）の決定的な断絶 ニュートン力学やマクスウェル方程式…
Read more

ZFCの公理が9個or 10個なのは、「空集合の公理」を独立させるか、他の公理から導出できるとみなすかという、数学的な構成上の違いに起因します。 1. 空集合の公理の「独立性」 もっとも大きな理由はこれです。 2. 「公…
Read more

ポアンカレ仮説の証明方法はリッチフローを導入すれば同相ということの証明をzfc的に証明評価する。 1. ポアンカレ予想と ZFC ポアンカレ予想は、ZFC 上で明確に述べられる純粋に集合論的な命題です。 2. Ricci…
Read more

「大きな基数（large cardinal）」と「決定性（determinacy）」の研究は、**集合論（とくにZFCの拡張）**における最深部のテーマの一つです。 🔷 1. 大きな基数（Large Cardinals）…
Read more

◆ 命題（証明したいこと） Zero Groundは存在しなければならない。なぜなら、ZerksとZero Fieldの間に意味震源がなければ、空間の構造的連続性・観測者の存在・意味の展開が論理矛盾に陥るからである。 ◆…
Read more