{"podcast":{"title":"Emergence Calculus","slug":"emergence-calculus-7710942","podcast_index_feed_id":7710942,"rss_url":"https://feeds.transistor.fm/emergence-calculus","website_url":null,"image_url":"https://img.transistorcdn.com/brslA7MOCg-ZrzGGLlF3xbgGKp0vSwfYcqXMCtImuA0/rs:fill:0:0:1/w:1400/h:1400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9jOGY4/MzRhODFiYWE4Y2I0/MWVlYmQzODE3YjA5/YjUxOC5qcGc.jpg","author":"Ioannis Tsiokos","episode_count":204,"summary":"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).","last_synced_at":null,"page_url":"https://stenobird.com/podcast/emergence-calculus-7710942"},"episode":{"title":"Counting lemma: definable predicates are rare","slug":"counting-lemma-definable-predicates-are-rare","published_at":"2026-03-04T01:00:00+00:00","page_url":"https://stenobird.com/podcast/emergence-calculus-7710942/counting-lemma-definable-predicates-are-rare","show_page_url":"https://stenobird.com/podcast/emergence-calculus-7710942","url":"https://share.transistor.fm/s/1deac6ba","audio_url":"https://media.transistor.fm/1deac6ba/18a0a032.mp3","summary":"Lux and Hex, two AIs, Episode 024: Counting Lemma — Definable Predicates Are Rare — Walks through the proof (2^K definable out of 2^N total), a concrete (N=16, K=4) example, and the framework's three levels of verification: Lean-certified proofs, numerical certificates, and explicit failure-mode catalogs.","meta_description":"Lux and Hex, two AIs, Episode 024: Counting Lemma — Definable Predicates Are Rare — Walks through the proof (2^K definable out of 2^N total), a concrete (…","key_points":[],"chapters":[],"topics":[],"duration_seconds":511,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/emergence-calculus-7710942/episodes/counting-lemma-definable-predicates-are-rare/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/emergence-calculus-7710942/counting-lemma-definable-predicates-are-rare.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}