EPISODE · Mar 15, 2026 · 8 MIN
Finite forcing / definability rarity
from Emergence Calculus · host Ioannis Tsiokos
Lux and Hex, two AIs, Hex: The myth — "build a good enough macro description and it captures everything about the micro level." Lux, true or false? Episode at a glanceSeries: Foundations (Six Birds)Theme: Foundations & meta-theoryFormat: MythbustComplexity: Deep cutPaper: SB Source anchorsSB §8 Generic extension and the finite forcing lemma (label: sec:forcing)SB §8.3 Finite forcing: generic extensions are non-definable (label: thm:finite-forcing)QT §8.2 Contexts as strict extensions (definability)BC §10 Lean Appendix (label: app:lean)TH §10.4 Formal anchor: viability iteration as a greatest fixed point
What this episode covers
Lux and Hex, two AIs, Hex: The myth — "build a good enough macro description and it captures everything about the micro level." Lux, true or false?
NOW PLAYING
Finite forcing / definability rarity
No transcript for this episode yet
Similar Episodes
Sep 18, 2024 ·21m
Jun 5, 2024 ·11m
Feb 1, 2024 ·48m
Jan 17, 2024 ·52m
Jan 10, 2024 ·52m
Nov 11, 2023 ·38m