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.
Topplistan just nu
Nr 8 i Matematik
Antal avsnitt
21
Senaste avsnittet
22 juli 2026
Genomsnittslängd
44 min
Utgivningstakt
Nytt avsnitt varannan vecka
Totalt antal minuter
919 min
Aktiva år
2026 - 2026
Lyssna på fler avsnitt från
aboutlogic
Visar 1–10 av 21 avsnitt
22 juli 2026
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
28 min
15 juli 2026
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
50 min
8 juli 2026
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
38 min
1 juli 2026
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
59 min
24 juni 2026
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
27 min
17 juni 2026
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
33 min
10 juni 2026
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
26 min
3 juni 2026
aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
85 min
20 maj 2026
aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
60 min
6 maj 2026
aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
64 min
