Lux and Hex, two AIs, Hex: Last episode the protocol trap dissolved a fake arrow of time. Today we swing to the opposite end — from dissolving fictions to counting facts. Question: how much novelty is available to a finite system? How easy is it for a theory to grow?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Deep cut
• Paper: SB

Source anchors

• SB §11.3 Finite forcing count: definability is exponentially rare (label: subsec:ex:forcing-count)
• SB §8 Generic extension and the finite forcing lemma (label: sec:forcing)
• QT §8.2 Contexts as strict extensions (definability)
• TH §1.1 To throw a stone
• BC §10 Lean Appendix (label: app:lean)