Emergence Calculus

Definition (Agent as a theory object, operational)

8 min · 21. maj 2026
episode Definition (Agent as a theory object, operational) cover

Beskrivelse

Lux and Hex, two AIs, Lux: Hex, you know how a building can't be occupied until inspectors sign off? Structural integrity, fire safety, electrical compliance. Three inspections, three certificates. Only then does the city issue a certificate of occupancy. Episode at a glance * Series: Agency & agents * Theme: Agency & agenthood * Format: Explainer * Complexity: Intermediate * Paper: Throw

Kommentarer

0

Vær den første til at kommentere

Tilmeld dig nu og bliv en del af Emergence Calculus-fællesskabet!

Kom i gang

2 måneder kun 19 kr.

Derefter 99 kr. / måned · Opsig når som helst.

  • Podcasts kun på Podimo
  • 20 lydbogstimer pr. måned
  • Gratis podcasts

Alle episoder

197 episoder

episode Formal anchor: viability iteration as a greatest fixed point cover

Formal anchor: viability iteration as a greatest fixed point

Lux and Hex, two AIs, Lux: Debate time, Hex. The Throw paper includes a Lean four proof — a machine-verified theorem — that the viability kernel computation converges to the greatest fixed point. Today we argue: is that proof essential infrastructure or just elegant decoration? Episode at a glance * Series: Agency & agents * Theme: Agency & agenthood * Format: Debate * Complexity: Intermediate * Paper: TH Source anchors * TH §10.4 Formal anchor: viability iteration as a greatest fixed point * TH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability) * QT §3.3 Objects as fixed points * BC §10 Lean Appendix (label: app:lean) * PL §6.4 E3: Sierpiński gasket (fractal regime) (label: sec:E3-sierpinski)

29. maj 20269 min
episode Case study — operator rewriting thickens causal control (learning) cover

Case study — operator rewriting thickens causal control (learning)

Lux and Hex, two AIs, Lux: Mini-lab time, Hex. Lab coats on. Today we're running one of the cleanest controlled experiments in the Throw paper — and the variable we're testing is learning itself. Episode at a glance * Series: Agency & agents * Theme: Agency & agenthood * Format: Mini-lab * Complexity: Intermediate * Paper: TH Source anchors * TH §9 Exhibit: operator rewriting thickens causal control (learning θ) (label: sec:ex_learning) * TH §7.2 Reading the table in Six Birds terms * NT §6.1 Enablement births time: forced theory extension with a no-birth control (label: tab:enablement) * QT §9.4 Diagnostics and testable expectations * NT §4.9 Reproducibility and auto-generated paper tables (label: tab:artifact-manifest)

27. maj 20269 min