TheBitCast

aboutlogic

Autor: 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.

Odcinki

  1. aboutlogic premises #10 | Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin) – aboutlogic
  2. aboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni Sambin – aboutlogic
  3. Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22 – aboutlogic
  4. aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won – aboutlogic
  5. aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai) – aboutlogic
  6. aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox – aboutlogic
  7. aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic) – aboutlogic
  8. aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory – aboutlogic
  9. aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman – aboutlogic
  10. aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory – aboutlogic
  11. aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays – aboutlogic
  12. aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science – aboutlogic
  13. aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics – aboutlogic
  14. aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI – aboutlogic
  15. aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI – aboutlogic
  16. aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl – aboutlogic
  17. aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math – aboutlogic
  18. aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory – aboutlogic
  19. #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math – aboutlogic
  20. aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma – aboutlogic
  21. aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View – aboutlogic
  22. aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory – aboutlogic
  23. aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview – aboutlogic
  24. aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice – aboutlogic
  25. aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction – aboutlogic
  26. aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy – aboutlogic
  27. aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics – aboutlogic
  28. aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice – aboutlogic
  29. aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy – aboutlogic
  30. aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics – aboutlogic