aboutlogic

By Deniz Sarikaya, Thorsten Altenkirch

We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet.

aboutlogic features in-depth conversations with people working in and around the foundations of these su... 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 13 episodes available.

aboutlogic episodes:

January 14, 2026 aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Theorem proving software in education, constructive mathematics, type theory and many more.
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/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
27min
January 14, 2026 aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Further Reading & Resources:
The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: https://xenaproject.wordpress.com/
Kevin Buzzard: https://profiles.imperial.ac.uk/k.buzzard
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
52min
January 14, 2026 aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.
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/
Production, Creative Direction:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
1min

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 13 episodes available.