Podcast
aboutlogic
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.
- Mathematics chart
- #4
- Episodes
- 34
- Releases
- Weekly
- Typical length
- 41 min
- On air since
- 2026
- Latest episode
- 6 days ago
Episodes
34 episodes, newest first
-
32 min
aboutlogic premises #10 | Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin)
Show notes
Is Unique Choice Really a Choice with Giovanni Sambin
Watch our conversation with Giovanni Sambin here: https://youtu.be/81A2A2HRvrA
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏
https://www.youtube.com/@aboutlogic
Or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
-
58 min
aboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni Sambin
Show notes
Rebuilding Mathematics from the Ground Up with Giovanni Sambin
You can now become a channel member on Youtube.
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogicGet the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ -
27 min
Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22
Show notes
From Gödel to AI-Proved Math
You can now become a channel member on Youtube. Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Mathematics #Logic #AI #CategoryTheory #TypeTheory #SetTheory #FormalVerification #aboutlogic
-
31 min
aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won
Show notes
Why Symbolic AI Failed — and Then Won
Become an Omega or Aleph Member on Yotuube and help us keep this going! 🙏 https://www.youtube.com/@aboutlogic
Or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
GOFAI #SymbolicAI #LLM #ArtificialIntelligence #Plato #PhilosophyOfMind #FormalVerification #aboutlogic
-
55 min
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
Show notes
Category Theory Meets Agentic AI
You can now become a channel member on Youtube: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
AI #CategoryTheory #TypeTheory #AgenticAI #Kodamai #Containers #FormalVerification #aboutlogic
-
33 min
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
Show notes
A Constructive Paradox
Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏 https://www.youtube.com/@aboutlogic
Or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
41 min
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
Show notes
Developing the Artificial Mathematical Superintelligence
You can now become a channel member on Youtube. https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
AI #Mathematics #Harmonic #Aristotle #Lean #ProofAssistants #FutureOfMath #RiemannHypothesis #aboutlogic
-
30 min
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
Show notes
Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
-
1 hr 1 min
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
Show notes
Homotopy Type Theory, Narya & the Future of Proof Assistants
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
27 min
aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
Show notes
What Is a Set? A Beginner’s Guide to Set Theory
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Or become a channel member here on Youtube. We’d love to have your support! https://www.youtube.com/@aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
1 hr 3 min
aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
Show notes
The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
28 min
aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
Show notes
Dependent Type Theory: A Revolution in Math & Computer Science
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
1 hr 16 min
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Show notes
Wittgenstein, Turing & the Philosophy of Applied Mathematics
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
28 min
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Show notes
The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
50 min
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
Show notes
The Language of Mathematics: Frames, Narratives & AI
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
38 min
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Show notes
Synthetic vs. Analytic Math: Inspired by Emily Riehl
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
-
59 min
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
Show notes
Higher Category Theory, Homotopy & AI in Math
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
27 min
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
Show notes
Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
-
33 min
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
Show notes
Dana Scott: Turing Award Winner on Logic & Computation
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
-
26 min
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
Show notes
Storytelling in Math - A Constructivist Perspective and Captain Ahab's Dilemma
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.denizsarikaya.de/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
Mathematics lists
More Mathematics shows picked out from the charts
More in Mathematics
Placed highest on Apple Podcasts' Mathematics chart right now
