Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic

Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic 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. Listen to the podcast on the go: https://aboutlogic.podigee.io/ 00:00 Introduction to Dana Scott and His Contributions 01:10 Untyped Lambda Calculus and Its Semantics 09:15 Typed Lambda Calculus and Category Theory 10:52 The Role of Category Theory in Mathematics 14:20 Gödel, Kreisel, and the Development of Forcing 25:10 Dependent Types and Constructive Mathematics 31:50 Conclusion and Future Discussions Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ The PDFs Dana Scott talked about: https://www.math.uni-hamburg.de/spag/... https://www.math.uni-hamburg.de/spag/... https://www.math.uni-hamburg.de/spag/... https://www.math.uni-hamburg.de/spag/... https://www.math.uni-hamburg.de/spag/... https://www.math.uni-hamburg.de/spag/... Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.