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

March 19 · 8 min
HL-CAP-X1 (bounded dissipation density)
Lux and Hex, two AIs, Hex: Last episode — three job openings. WORK, CAP, ROUTE. Today we zoom in on the first candidate for the CAP position. Candidate X1 — bounded dissipation density. What's on its résumé?
March 19 · 9 min
Hard lemma slots (WORK/CAP/route)
Lux and Hex, two AIs, Hex: Last episode — speed limit and fuel budget. Individual ingredients. Now the full recipe. The No-Zeno theorem needs three slots filled. What are they, and what happens when each one is empty?
March 18 · 8 min
Integrated throughput (ICAP) and feasibility
Lux and Hex, two AIs, Hex: Last episode we established the toll booth — passivity, storage, the WORK quantum. Every boundary charges at least theta. Now we need the speed limit. How fast can work flow through that boundary?
March 18 · 7 min
Storage-based activity and the WORK quantum (Option B)
Lux and Hex, two AIs, Hex: The WORK slot — the toll booth from episode fifty-one. We said every depth level charges a minimum fee of theta before you can cross to the next one. Today we debate the foundation: is passivity the right assumption? Or could we
March 17 · 8 min
Setup: frontier and Zeno criterion
Lux and Hex, two AIs, Hex: Last episode we got the No-Zeno decision tree — three settlement points, two toy witnesses, the whole diagnostic. Today we step back. What does the setup actually look like? What are the moving parts before the theorem even kick
March 17 · 8 min
Appendix D: Zeno cascades and depth
Lux and Hex, two AIs, Hex: Fifty episodes in. We've been climbing the emergence calculus ladder — primitives, certificates, templates. Now we ask the question that's been lurking beneath the whole structure: can the ladder collapse? Can infinitely many le
March 16 · 8 min
ECT compression and capacity witnesses
Lux and Hex, two AIs, Hex: Last episode — the balanced-atom route. Three-line hinge lemma, kernel mass, ICAP. But that was one slot in a bigger machine. Today we assemble the full ECT — the emergent coercivity template — and stress-test it. What passes. W
March 16 · 9 min
Balanced-atom route (definitions + kernel-mass hinge)
Lux and Hex, two AIs, Hex: Last episode — definability rarity. Almost nothing about the micro level is expressible from the macro. Now we zoom into a different kind of gap. You have a packaged system. You have accounting. But can you control how much thro
March 15 · 8 min
Finite forcing / definability rarity
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?
March 15 · 9 min
Graph topology effects of P2 (edge deletion) and P1 (rewrites)
Lux and Hex, two AIs, Hex: Last episode — the protocol trap. P3 looks directional but the trick dissolves under autonomy. Now we shift from time to space. Two primitives that change the graph itself. P2 deletes edges. P1 rewrites the kernel. What happens
March 14 · 7 min
Protocol trap and the "P3 needs P6 drive" correction under autonomy
Lux and Hex, two AIs, Hex: You've been saying protocol holonomy is one of the six primitives. P3 — the noncommutativity between the transition and the packaging. But last episode you hinted it's not the whole story.
March 14 · 8 min
C.2 Evidence by theme (tests and scripts)
Lux and Hex, two AIs, Hex: Last episode we covered how to run the experiments — config files, run bundles, audit scripts. Now the question is: what do the tests actually test?
March 13 · 8 min
Reproduce it: how to run the experiments
Lux and Hex, two AIs, Hex: Last episode we built the project — Lean, Python, LaTeX. Three crews, one construction site. Now we turn on the machines. How do you actually run the experiments?
March 13 · 8 min
Reproduce it: how to build the project
Lux and Hex, two AIs, Hex: We've spent four episodes looking at what the repository checks, what the Python tests compute, and what the Lean proofs verify. Now — how do you actually build this thing from scratch?
March 12 · 8 min
B.2 File map and key declarations
Lux and Hex, two AIs, Hex: Last episode we saw the Lean courtroom — three pillars and a bridge lemma. Today we open the case files. What's actually written in those four Lean files?
March 12 · 9 min
Appendix B: Lean formalization map
Lux and Hex, two AIs, Hex: Last episode we walked the museum — five galleries of Python evidence. Concrete numbers on concrete examples. Today we go somewhere different.
March 11 · 6 min
A.2 Python evidence harness (deterministic tests)
Lux and Hex, two AIs, Hex: Last episode we ran the preflight checklist — four commands that verify the paper's integrity chain. Today we open the engine. What does the Python evidence harness actually compute?
March 11 · 8 min
A.1 Repository integrity checks (from repo root)
Lux and Hex, two AIs, Hex: Every preprint says "code available on GitHub." Maybe there's a Jupyter notebook. Maybe there's a README. This paper does something I haven't seen before.
March 10 · 9 min
Outlook: forthcoming instantiations
Lux and Hex, two AIs, Hex: Thirty-six episodes inside the abstract calculus. Today, Lux, I want to look past the proofs. Where does this framework go from here?
March 10 · 8 min
What the theory does and does not claim
Lux and Hex, two AIs, Hex: Back in episode thirty-one we walked the fence — all the things the framework refuses to say. Today, Lux, I want to read the fine print. Not just what's excluded. What does the framework actually sign up for?

Emergence Calculus

HL-CAP-X1 (bounded dissipation density)

Hard lemma slots (WORK/CAP/route)

Integrated throughput (ICAP) and feasibility

Storage-based activity and the WORK quantum (Option B)

Setup: frontier and Zeno criterion

Appendix D: Zeno cascades and depth

ECT compression and capacity witnesses

Balanced-atom route (definitions + kernel-mass hinge)

Finite forcing / definability rarity

Graph topology effects of P2 (edge deletion) and P1 (rewrites)

Protocol trap and the "P3 needs P6 drive" correction under autonomy

C.2 Evidence by theme (tests and scripts)

Reproduce it: how to run the experiments

Reproduce it: how to build the project

B.2 File map and key declarations

Appendix B: Lean formalization map

A.2 Python evidence harness (deterministic tests)

A.1 Repository integrity checks (from repo root)

Outlook: forthcoming instantiations

What the theory does and does not claim