EPISODE · Mar 19, 2026 · 9 MIN
Hard lemma slots (WORK/CAP/route)
from Emergence Calculus · host Ioannis Tsiokos
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? Episode at a glanceSeries: Foundations (Six Birds)Theme: Foundations & meta-theoryFormat: Concept interviewComplexity: IntermediatePaper: SB Source anchorsSB §16.6 Hard lemma slots (WORK/CAP/route)SB §17.3.1 Summary: slots and divergence consequence (label: sec:ect-summary)BC §8 Related work (label: sec:related)DE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)PL §5.4 Macro dynamics, cost, and distance
Embed this episode
What this episode covers
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?
NOW PLAYING
Hard lemma slots (WORK/CAP/route)
No transcript for this episode yet
Similar Episodes
No similar episodes found.