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

What is set theory—a foundation of math or a science of infinity? In this aboutlogic: premises episode, Deniz and Thorsten explore the history, paradoxes, and philosophical debates behind set theory. From Cantor’s diagonal argument to Hilbert’s Hotel and the role of ZFC, they discuss why set theory became the language of mathematics—and where its limits lie.

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

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.

Our weekly Premises: Behind-the-scenes thoughts, deep dives, and the ideas that didn’t fit into the main episodes.
Is mathematics a discovery or a story we tell ourselves? In this first aboutlogic: premises episode, Deniz and Thorsten explore why math might be more like fiction than absolute truth and what that means for logic, proof, and the future of the field.

aboutlogic #13 | In this episode of aboutlogic, we’re joined by Joel David Hamkins, professor at the University of Notre Dame and a leading figure in set theory, mathematical logic, and the philosophy of mathematics. Joel shares his insights into the multiverse view of set theory, a perspective that challenges the traditional "universe view" by embracing a pluralistic approach to mathematical truth. We explore how this view connects to constructivism, potentialism, and the foundations of mathematics, and discuss its implications for understanding concepts like the Continuum Hypothesis (CH) and the nature of mathematical reality.
Joel also reflects on the historical contingency of mathematical axioms, the role of categoricity in mathematics, and how different philosophical perspectives, such as Platonism, formalism, and fictionalism, shape the way mathematicians approach their work. Whether you're a mathematician, philosopher, or simply curious about the foundations of logic, this conversation offers a deep dive into the diverse and evolving landscape of mathematical thought.

aboutlogic #12 | In this episode of aboutlogic, we’re joined by UrsSchreiber, a senior scientist at New York University Abu Dhabi. Urs shares insights into his work at the intersection of quantum physics, topos theory, and homotopy type theory. We explore how these advanced mathematical frameworks help address fundamental questions in physics, from understanding gauge fields to the role of higher category theory in describing the universe. Urs also discusses the historical and philosophical connections between physics and logic, and how modern mathematics is shaping our understanding of reality.