
Über diesen Podcast
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 Folgen · science
aboutlogic
Über diesen Podcast
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.
Neue Folgen
- aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory2. Sept. · 30 Min.
- aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman26. Aug. · 1 Std. 01 Min.
- aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory19. Aug. · 27 Min.
- aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays13. Aug. · 1 Std. 03 Min.
- aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science5. Aug. · 28 Min.
- aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics29. Juli · 1 Std. 16 Min.
- aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI22. Juli · 28 Min.
- aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI15. Juli · 50 Min.
- aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl8. Juli · 38 Min.
- aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math1. Juli · 59 Min.