aboutlogic
Deniz Sarikaya, Thorsten Altenkirch
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.
- 35 episodes
- weekly
- Avg 44 min
- English
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.
November 4 · 58 minaboutlogic #24 | Why Didn't Homotopy Type Theory Take Over the World? | Ulrik Buchholtz
- Transcript
October 28 · 32 minaboutlogic premises #10 | Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin)
- Transcript
October 21 · 57 minaboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni Sambin
- Transcript
September 23 · 54 minaboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
- Transcript
September 16 · 33 minaboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
- Transcript
September 9 · 40 minaboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
- Transcript
September 2 · 30 minaboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
- Transcript
August 26 · 1 hraboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
- Transcript
August 19 · 27 minaboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
- Transcript
August 13 · 1 hr 2 minaboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
- Transcript
August 5 · 27 minaboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
- Transcript
July 29 · 1 hr 15 minaboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
- Transcript
July 22 · 28 minaboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
- Transcript
July 15 · 50 minaboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
- Transcript
July 8 · 38 minaboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
- Transcript
July 1 · 58 minaboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
- Transcript
June 24 · 26 minaboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
- Transcript