Deniz Sarikaya · Outreach

aboutlogic episode archive

Conversations and premises on logic, mathematics, philosophy and theoretical computer science.

← Back to Outreach · Subscribe via RSS · Official episode feed ↗

aboutlogic: conversations

  1. #24 Why Didn't Homotopy Type Theory Take Over the World? | Ulrik Buchholtz · 58 min 25 s
  2. #23 Rebuilding Mathematics from the Ground Up | Giovanni Sambin · 57 min 45 s
  3. #22 Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22 · 27 min 20 s
  4. #21 Category Theory Meets Agentic AI | Neil Ghani (Kodamai) · 54 min 42 s
  5. #20 Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic) · 40 min 36 s
  6. #19 Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman · 60 min 44 s
  7. #18 The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays · 62 min 52 s
  8. #17 José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics · 75 min 39 s
  9. #16 Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI · 50 min 02 s
  10. #15 Emily Riehl – Higher Category Theory, Homotopy & AI in Math · 58 min 33 s
  11. #14 #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math · 33 min 00 s
  12. #13 Joel David Hamkins – Set Theory, Pluralism & the Multiverse View · 84 min 46 s
  13. #12 Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory · 59 min 33 s
  14. #11 Season 1 Recap: Feedback, Highlights & Season 2 Preview · 63 min 32 s
  15. #10 Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice · 52 min 40 s
  16. #09 Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction · 48 min 58 s
  17. #08 Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy · 46 min 56 s
  18. #07 Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics · 49 min 07 s
  19. #06 Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice · 47 min 25 s
  20. #05 Steve Awodey – Homotopy Type Theory, Logic & Philosophy · 51 min 38 s
  21. #04 Graham Priest – Working with Contradictions & Paraconsistent Logics · 46 min 05 s
  22. #01 Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory · 26 min 17 s
  23. #02 Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse · 28 min 44 s
  24. #03 Kevin Buzzard – Lean & Formal Mathematics · 51 min 36 s
  25. aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy · 0 min 35 s

aboutlogic: premises

  1. #10 Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin) · 32 min 08 s
  2. #09 Why Symbolic AI Failed — and Then Won · 31 min 10 s
  3. #08 Choice vs. Excluded Middle: A Constructive Paradox · 33 min 25 s
  4. #07 Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory · 30 min 22 s
  5. #06 What Is a Set? A Beginner’s Guide to Set Theory · 27 min 17 s
  6. #05 Dependent Type Theory: A Revolution in Math & Computer Science · 27 min 49 s
  7. #04 The Harry Potter Approach to Proof Assistants – Lean, Agda & AI · 28 min 18 s
  8. #03 Synthetic vs. Analytic Math: Inspired by Emily Riehl · 38 min 14 s
  9. #02 Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory · 26 min 57 s
  10. #01 Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma · 26 min 01 s