About this podcast
aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises.
28 episodes · science
aboutlogic
About this podcast
aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises.
Recent episodes
- aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory2 Sept · 30 min
- aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman26 Aug · 1 h 01 min
- aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory19 Aug · 27 min
- aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays13 Aug · 1 h 03 min
- aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science5 Aug · 28 min
- aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics29 Jul · 1 h 16 min
- aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI22 Jul · 28 min
- aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI15 Jul · 50 min
- aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl8 Jul · 38 min
- aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math1 Jul · 59 min
podlinkr.com/en/aboutlogic
For a poster or slide.