aboutlogic

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

This weeks interview with Kevin Buzzard touches on topics like: Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.

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

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.