 |
aboutlogicAuthor: 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 of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really likeits motivations, frustrations, and surprises. Language: en Genres: Mathematics, Philosophy, Science, Society & Culture Contact email: Get it Feed URL: Get it iTunes ID: Get it Trailer: |
Listen Now...
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
Wednesday, 26 August, 2026
Homotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of San Diego) joins Deniz and Thorsten to discuss his journey from topology to higher observational type theory, the development of the Narya proof assistant, and how these tools are reshaping the way we think about equality, equivalence, and computation in mathematics.
