aboutlogic

aboutlogic is a bi-weekly podcast on logic, foundations of mathematics, philosophy, and theoretical computer science.

Enjoying 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

Hosts: Thorsten Altenkirch, Deniz Sarikaya
Creative Production: Jan-Niklas Meyer

Guests
Kevin Buzzard • Graham Priest • Steve Awodey • Colin Rittberg • Alexander Steen • Urs Schreiber • Deborah Kant • Andrej Bauer • Bernhard Schröder • Bernhard Fisseni