aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Wednesday · 1 hr 15 min
Science
aboutlogic
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 like—its motivations, frustrations, and surprises.
- 20 episodes
- Updated Wednesday
Episodes20
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
July 22 · 28 min
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
July 15 · 50 min
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
July 8 · 38 min
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
July 1 · 58 min
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
June 24 · 26 min
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
June 17 · 33 min
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
June 10 · 26 min
aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
June 3 · 1 hr 24 min
aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
May 20 · 59 min
aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
May 6 · 1 hr 3 min
aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
April 22 · 52 min
aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
April 8 · 48 min
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
March 25 · 46 min
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
March 11 · 49 min
aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
February 25 · 47 min
aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
February 11 · 51 min
aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
January 28 · 46 min
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
January 14 · 28 min
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
January 14 · 26 min