Finite forcing / definability rarity

from Emergence Calculus · host Ioannis Tsiokos

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? Episode at a glanceSeries: Foundations (Six Birds)Theme: Foundations & meta-theoryFormat: MythbustComplexity: Deep cutPaper: SB Source anchorsSB §8 Generic extension and the finite forcing lemma (label: sec:forcing)SB §8.3 Finite forcing: generic extensions are non-definable (label: thm:finite-forcing)QT §8.2 Contexts as strict extensions (definability)BC §10 Lean Appendix (label: app:lean)TH §10.4 Formal anchor: viability iteration as a greatest fixed point

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

Embed this episode

Attribution link and audio player

What this episode covers

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?

Distinct summary based on available episode metadata or transcript content.

Ready to play

Finite forcing / definability rarity

0:00 8:17

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 8 minutes long.

When was this Emergence Calculus episode published?

This episode was published on March 15, 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!