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 glance
- Series: Foundations (Six Birds)
- Theme: Foundations & meta-theory
- Format: Mythbust
- Complexity: Deep cut
- Paper: SB
Source anchors
- SB §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
