All episodes

This weeks interview with Thorsten Altenkirch touches on topics like: Theorem proving software in education, constructive mathematics, type theory and many more.

This weeks interview with Deniz Sarikaya touches on topics like: Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate

Welcome to aboutlogic, a dedicated space where the realms of logic, mathematics, philosophy, and computer science converge. Every two weeks, we feature in-depth conversations with some of the most brilliant minds in these fields, who were somehow stupid enough to speak with us.