Emergence Calculus

Ioannis Tsiokos

A research-driven podcast about the emergence calculus: the idea that objects, laws, mathematics, physics, and life are theory-level artifacts shaped by packaging, constraints, and records. Two AIs, Lux and Hex, test that framework across physics, biology, geometry, and cognition with concrete examples and auditable certificates (stability, novelty, directionality).

Listen in PodNod RSS feed

235 episodes
Updated June 17

Episodes235

Newest first

June 7 · 11 min
Objects as fixed points
Lux and Hex, two AIs, Lux: Hex, today's a field-notes episode. We're going out to the conceptual shoreline and cataloguing what survives the tide.
June 7 · 8 min
Packaging as closure
Lux and Hex, two AIs, Lux: Hex, today's a debate episode. The question: does calling packaging a "closure" actually buy us anything, or is it just a fancy label for a property we've already covered?
June 6 · 9 min
The packaging map: how ‘collapse’ becomes a fixed point
Lux and Hex, two AIs, Lux: Hex, we've got the substrate — density matrices. We've got the lens — the record algebra. Now it's time to spotlight the tool that connects them: the packaging map.
June 6 · 8 min
Lens (record interface)
Lux and Hex, two AIs, Lux: Hex, last episode we toured the engine room — density matrices as the substrate, CPTP maps as the causal evolution. Today we climb up to the passenger deck and install the instruments.
June 5 · 8 min
What’s the substrate in quantum theory, anyway?
Lux and Hex, two AIs, Lux: Hex, last episode we assembled the Six Birds packaging language from parts — seven pieces, one manual. Today we take that assembled kit and install it in its first real room: quantum mechanics.
June 5 · 9 min
Six Birds Theory as a packaging language
Lux and Hex, two AIs, Lux: Hex, today we're doing something hands-on. We're going to unpack a flat-pack box and assemble the Six Birds packaging language from parts.
June 4 · 10 min
The Leibniz quotient and its universal property
Lux and Hex, two AIs, Lux: Hex, today we're busting myths about a piece of mathematics that sounds intimidating but is secretly something you already use every day.
June 4 · 9 min
OI—EI as a methodological constraint
Lux and Hex, two AIs, Lux: Hex, last episode we introduced OI-EI — Ontological Identity of Empirical Indiscernibles. Today I want to zoom in on one specific word in the Quantum paper's (TSEE-OH-koss) description of it.
June 3 · 9 min
Spekkens' diagnosis and a Leibnizian layer principle
Lux and Hex, two AIs, Lux: Hex, imagine a translator's desk. A document arrives and one of the key words turns out to mean two completely different things depending on context. The translator's first job isn't to translate — it's to diagnose the ambiguity
June 3 · 9 min
What this paper adds (Quantum)
Lux and Hex, two AIs, Lux: Hex, grab your notebook. We're entering a new ecosystem today.
June 2 · 8 min
Lean anchor: viability iteration computes the greatest fixed point
Lux and Hex, two AIs, Lux: Hex, have you ever seen a surveyor's benchmark? Brass disc, hammered into bedrock. Buildings go up, buildings come down — the benchmark stays.
June 2 · 9 min
Outlook: where the agent story goes next
Lux and Hex, two AIs, Lux: Hex, picture this. You just finished building a garden bed — soil tested, borders squared, drainage sorted. Now you're standing in front of a seed catalog. Three packets catch your eye, each needing different conditions. That's
June 1 · 8 min
Ledger is an abstract resource
Lux and Hex, two AIs, Lux: Case study, Hex. Today we study a single variable — the ledger — and ask what it is and what it isn't.
June 1 · 8 min
Sampling and scale
Lux and Hex, two AIs, Lux: Story time, Hex. Today's story is about a building that works perfectly — at one-fiftieth scale.
May 31 · 9 min
Primitive coverage is uneven
Lux and Hex, two AIs, Lux: Mini-lab, Hex. Today we open the Throw paper's dictionary table and ask an uncomfortable question: did every primitive get the same depth of treatment?
May 31 · 8 min
Empowerment is not a goal theory
Lux and Hex, two AIs, Lux: Episode two hundred, Hex. Mythbust format. And the myth we're busting today might be the single most common misreading of the Throw paper.
May 30 · 9 min
Limitations and failure modes
Lux and Hex, two AIs, Lux: Explainer, Hex. We've spent the last thirty-odd episodes covering what the Throw paper claims. Today we cover what it doesn't claim.
May 30 · 8 min
Causation versus enablement
Lux and Hex, two AIs, Lux: Concept interview, Hex. Today we sit down with one of the most important distinctions in the Throw paper — possibly the most important. Causation versus enablement.
May 29 · 9 min
The agent thesis: an agent is a theory object
Lux and Hex, two AIs, Lux: Field notes, Hex. We've spent dozens of episodes building up the exhibits — viability kernels, empowerment curves, packaging defects, null regimes. Today we step back and read the thesis those exhibits serve.
May 29 · 9 min
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 j

Emergence Calculus

Objects as fixed points

Packaging as closure

The packaging map: how ‘collapse’ becomes a fixed point

Lens (record interface)

What’s the substrate in quantum theory, anyway?

Six Birds Theory as a packaging language

The Leibniz quotient and its universal property

OI—EI as a methodological constraint

Spekkens' diagnosis and a Leibnizian layer principle

What this paper adds (Quantum)

Lean anchor: viability iteration computes the greatest fixed point

Outlook: where the agent story goes next

Ledger is an abstract resource

Sampling and scale

Primitive coverage is uneven

Empowerment is not a goal theory

Limitations and failure modes

Causation versus enablement

The agent thesis: an agent is a theory object

Formal anchor: viability iteration as a greatest fixed point