aboutlogic

Author: 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 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.
Be a guest on this podcast

Language: en

Genres: Mathematics, Philosophy, Science, Society & Culture

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Trailer:

Get all podcast data

Listen Now...

aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
Wednesday, 22 July, 2026

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 How do interactive theorem provers like Lean and Agda change the way we teach and do mathematics? In this aboutlogic: premises episode, Deniz and Thorsten discuss the role of proof assistants in education, the differences between Lean and Agda, and how AI is transforming formal verification.