
Sobre este pódcast
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.
31 episodios · Wiskunde
aboutlogic
Sobre este pódcast
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.
Episodios recientes
- aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won30 sept · 31 min
- aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)23 sept · 55 min
- aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox16 sept · 33 min
- aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)9 sept · 41 min
- 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 ago · 1 h 01 min
- aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory19 ago · 27 min
- aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays13 ago · 1 h 03 min
- aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science5 ago · 28 min
- aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics29 jul · 1 h 16 min