Formal anchor: viability iteration as a greatest fixed point

from Emergence Calculus · host Ioannis Tsiokos

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 glanceSeries: Agency & agentsTheme: Agency & agenthoodFormat: DebateComplexity: IntermediatePaper: TH Source anchorsTH §10.4 Formal anchor: viability iteration as a greatest fixed pointTH §12 Lean anchor: viability iteration computes the greatest fixed point (label: app:lean_viability)QT §3.3 Objects as fixed pointsBC §10 Lean Appendix (label: app:lean)PL §6.4 E3: Sierpiński gasket (fractal regime) (label: sec:E3-sierpinski)

Episode metadata supplied by the publisher feed · Published May 29, 2026

Embed this episode

Attribution link and audio player

What this episode covers

Distinct summary based on available episode metadata or transcript content.

Ready to play

Formal anchor: viability iteration as a greatest fixed point

0:00 9:07

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

New Faces of Democracy Nancy Bynum Welcome to the New Faces of Democracy podcast, hosted by Nancy Bynum. This podcast features inspiring interviews with people who have transformed their lives since 2016 and who are transforming our political landscape. These are not career politicians or former cabinet members, but ordinary citizens who are starting organizations, running for office for the first time, using their creative skills and otherwise stepping outside of their comfort zones to stand up for our democracy. Along the way, they are discovering new skills and talents and creating new communities. Nancy felt her own personal call to action in the aftermath of the election of 2016, when it became painfully clear how important it is to use our voices to stand up for the America we believe in. As she became increasingly politically active, she witnessed the emergence of an awe-inspiring phenomenon: people changing their lives to defend our democracy. She decided that the best way for her to help would be to share t Brain Inspired Paul Middlebrooks Neuroscience and artificial intelligence work better together. Brain inspired is a celebration and exploration of the ideas driving our progress to understand intelligence. I interview experts about their work at the interface of neuroscience, artificial intelligence, cognitive science, philosophy, psychology, and more: the symbiosis of these overlapping fields, how they inform each other, where they differ, what the past brought us, and what the future brings. Topics include computational neuroscience, supervised machine learning, unsupervised learning, reinforcement learning, deep learning, convolutional and recurrent neural networks, decision-making science, AI agents, backpropagation, credit assignment, neuroengineering, neuromorphics, emergence, philosophy of mind, consciousness, general AI, spiking neural networks, data science, and a lot more. The podcast is not produced for a general audience. Instead, it aims to educate, challenge, inspire, and hopefully entertain those intere math learning Merlin Tutoring Learn math at ease, at your pace anywhere everywhere.Math Algebra Calculus Arithmetic Geometry Multivariables Differentials Matrices Abstract Linear Laplace Fourier ...

Frequently Asked Questions

How long is this episode of Emergence Calculus?

This episode is 9 minutes long.

When was this Emergence Calculus episode published?

This episode was published on May 29, 2026.

Can I download this Emergence Calculus episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!