March 25 · 46 min
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
- Transcript
aboutlogic
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 like—its motivations, frustrations, and surprises.
- 28 episodes
- weekly
- Avg 45 min
- English
Counted on this page — what you have heard stays on this device, so it is not something the list can be paged by.
March 11 · 49 minaboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
- Transcript
February 25 · 47 minaboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
- Transcript
February 11 · 51 minaboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
- Transcript
January 28 · 46 minaboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
- Transcript
January 14 · 26 minaboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
- Transcript
January 14 · 28 minaboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
- Transcript