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 30 episodes available.

aboutlogic episodes:

September 23, 2026 aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
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
...more
55min
September 16, 2026 aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
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.
...more
34min
September 09, 2026 aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
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
...more
41min
September 02, 2026 aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
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/
...more
31min
August 26, 2026 aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
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.
...more
1h 1min
August 19, 2026 aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
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.
...more
28min
August 13, 2026 aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
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.
...more
1h 3min
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

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 30 episodes available.