aboutlogic

By 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... more

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 23 episodes available.

aboutlogic episodes:

August 05, 2026 aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
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.
...more
28min
July 29, 2026 aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
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.
...more
1h 16min
July 22, 2026 aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
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.
...more
29min
July 15, 2026 aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
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.
...more
51min
July 08, 2026 aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
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/
...more
39min
July 01, 2026 aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
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.
...more
59min
June 24, 2026 aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
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/
...more
27min
June 17, 2026 #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
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.
...more
33min
June 10, 2026 aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
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.
...more
27min
June 03, 2026 aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
Set Theory, Pluralism & the Multiverse View
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:
Joel David Hamkins: https://jdh.hamkins.org/
Joel's substack: https://www.infinitelymore.xyz/
Joel's book Lectures on the Philosophy of Mathematics: https://mitpress.mit.edu/9780262542234/lectures-on-the-philosophy-of-mathematics/
Joel's new book, The Book of Infinity: https://mitpress.mit.edu/9780262054010/the-book-of-infinity/
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.
...more
1h 25min

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 23 episodes available.