#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
aboutlogic #14 | Turing Award winner Dana Scott joins us to discuss his groundbreaking work on lambda calculus, forcing, and Boolean-valued models and how these ideas revolutionized set theory and computability. From his collaborations with Kleene and Solovay to his thoughts on constructive mathematics, Scott shares insights into the history and future of logical foundations. Hear anecdotes about Gödel’s unpublished ideas, Einstein’s influence, and the telephone conversations that shaped modern logic.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from aboutlogic
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Get summaries like this every morning.
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.