Appendix B: Lean formalization map

from Emergence Calculus · host Ioannis Tsiokos

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. Episode at a glanceSeries: Foundations (Six Birds)Theme: Methods, mechanization & reproducibilityFormat: StoryComplexity: Deep cutPaper: SB Source anchorsSB §4.2 Closure ladders and saturation (label: lem:closure-iterate-stabilizes)SB §1 IntroductionDE §2.4 Lean-backed sanity lemmas (label: sec:framework:lean)BC §10 Lean Appendix (label: app:lean)QT §8.2 Contexts as strict extensions (definability)

Episode metadata supplied by the publisher feed · Published Mar 12, 2026

Embed this episode

Attribution link and audio player

What this episode covers

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.

Distinct summary based on available episode metadata or transcript content.

Ready to play

Appendix B: Lean formalization map

0:00 9:34

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 March 12, 2026.

Is there a transcript available for this episode?

Yes, a full transcript is available for this episode. You can read the complete transcript on the episode page.

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!