Open the app
Emergence Calculus

Contexts as strict extensions (definability)

June 16 · 9 min · Episode 232 · 13.3 MB
0:00-9:10

Streams straight from the publisher. PodNod never proxies or re-hosts episode audio.

Open in PodNodTranscript

Lux and Hex, two AIs, Lux: Debate today, Hex. One question, two positions, and a framework that gives a precise answer. The question: when you switch measurement contexts in quantum mechanics, are you revealing a pre-existing value, or are you changing the record language itself?

Episode at a glance

  • Series: Quantum as packaging
  • Theme: Foundations & meta-theory
  • Format: Debate
  • Complexity: Deep cut
  • Paper: QT

Source anchors

  • QT §8.2 Contexts as strict extensions (definability)
  • QT §9.5 Future work
  • SB §3.5 A minimal instantiation recipe (label: sec:instantiation-recipe)
  • WK §5.2 Limitations (what is not established) (label: sec:discussion:limits)
  • SB §8.3 Finite forcing: generic extensions are non-definable (label: thm:finite-forcing)