Wednesday · 1 hr 15 min
Science
aboutlogic
Deniz Sarikaya, Thorsten Altenkirch
We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet.
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.
- 22 episodes
- Updated Wednesday
Episodes22
July 22 · 28 minaboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
July 15 · 50 minaboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
July 8 · 38 minaboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
July 1 · 58 minaboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
June 24 · 26 minaboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
June 17 · 33 min#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
June 10 · 26 minaboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
June 3 · 1 hr 24 minaboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
May 20 · 59 minaboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
May 6 · 1 hr 3 minaboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
April 22 · 52 minaboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
April 8 · 48 minaboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
March 25 · 46 minaboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
March 11 · 49 minaboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
February 25 · 47 minaboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
February 11 · 51 minaboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
January 28 · 46 minaboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
January 14 · 51 minaboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
January 14 · 28 minaboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse