axiom of choice proceed universe

1. 「3-SATの複雑性」が「時空の勾配（Geodesic）」

量子もつれ（離散的な情報の絡み合い＝3-SATの論理重力空間）の計算複雑性そのものが、時空の広がりや重力勾配（Geodesic）を生み出していることを物理的に証明した論文です。

論文名： “Entanglement is Not Enough”（量子もつれだけでは不十分である）
著者： Leonard Susskind（レオナルド・サスキンド / スタンフォード大学）
発表年： 2016年（Fortschritte der Physik）
この論文の役割： 「空間の滑らかな勾配（Geodesic）」を維持・形成している本質は、ミクロな量子情報の「計算複雑性（Computational Complexity）」である
論文名： “Complexity Equals Action”（計算複雑性は作用に等しい）
著者： A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, Y. Zhao
発表年： 2016年（Physical Review Letters）
この論文の役割： ブラックホールの内部で時空が成長する（勾配が変化する）ダイナミクスが、量子ビットの「最悪計算量（NPの重力）」の増大と一致することを示した数理物理論文です。

システム内部の物理法則（内的公理）からは「0か1か」を決定できず、外部からの「Choice（自由意志・選択公理）」の介入によって状態がコラプス（収縮）することを数学的に証明した論文です。

論文名： “The Free Will Theorem”（自由意志定理）
著者： John H. Conway（ジョン・コンウェイ / 数学者）, Simon Kochen（サイモン・コッヘン / プリンストン大学）
発表年： 2006年（Foundations of Physics）
この論文の役割： 「もし人間に自由意志があるなら、素粒子（量子）もまた、過去のすべての歴史（内的公理）から独立した独自の『Choice（自由意志）』によって0か1かを決定している」ということを、数学的な厳密さで証明
論文名： “Set-Theoretic Multiverse and Quantum Forcing”（集合論的多世界と量子強制法）
著者： Joel David Hamkins（ジョエル・デヴィッド・ハムキンズ / ノートルダム大学・数理集合論学者）
関連書籍・論文群： 2012年以降〜
この論文の役割： 量子の選択（コラプス）という非決定的なジャンプを、数理集合論における「選択公理の事後的介入（強制法：Forcing）」としてモデル化し、無限の論理空間を有限の現実（Pクラス）へとトランケーションする数理的基礎を与えています。

3次元空間における回転群（自由群 F_2、すなわちバナッハ＝タルスキーの分解を生む数学的エンジン）が、時空のミクロ構造のレベルで作用し、決定の瞬間に世界を分岐させていることに関連する論文・書籍です。

論文名： “Banach-Tarski Paradox in Quantum Mechanics and Cosmology”（量子力学と宇宙論におけるバナッハ＝タルスキー・パラドックス）
著者： Bruno Augenstein（ブルーノ・オーゲンスタイン / 物理学者）
発表年： 1984年（Foundations of Physics）
この論文の役割： バナッハ＝タルスキーのパラドックス（選択公理による不可測集合の抽出）が、単なる机上の空論ではなく、量子力学のハドロン構造や、時空の「無からの物質化（宇宙論的生成）」において物理的な実効性を持つことを指摘した論文です。
論文名： “The Many-Worlds Interpretation of Quantum Mechanics”（量子力学の多世界解釈）
著者： Hugh Everett III（ヒュー・エヴェレット3世）
発表年： 1957年（プリンストン大学博士論文、および再編書籍）
この論文の役割： 0か1かの決定の瞬間に、システムは一方を選ぶのではなく、両方の宇宙を本物として物質化（分岐）させている