aboutlogic
Where it charts
Today’s combined position on our country charts.
Ranking history
About the show
Latest episodes
-
Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22
October 7, 2026 · 27 minSeason 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22 Nine guests, four emerging themes, and one big question running through all of it: what happens to mathematics when symbolic reasoning and statistical AI finally meet? In this…
-
aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won
September 30, 2026 · 31 minWhy Symbolic AI Failed — and Then Won | aboutlogic Premises #09 Symbolic AI — "GOFAI" — was meant to be the foundation of machine intelligence, and it failed spectacularly in the 1980s. In this premises episode, Thorsten and Deniz explore…
-
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
September 23, 2026 · 55 minCategory Theory Meets Agentic AI | Neil Ghani (Kodamai) Why does almost all agentic AI today run completely untyped — even though 40 years of type theory and category theory research says that's a mistake? Neil Ghani, Co-Founder of…
-
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
September 16, 2026 · 33 minChoice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08 Constructive mathematics is all about building things explicitly — so why does it reject the Axiom of Choice, which sounds trivial in a constructive context. In…
-
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
September 9, 2026 · 41 minCan AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem prover — joins Deniz and Thorsten to discuss how mathematical…
-
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
September 2, 2026 · 30 minFixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory How did mathematicians fix Russell’s paradox and save set theory? In this aboutlogic: premises episode, Deniz and Thorsten explore the solutions that reshaped the…
-
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
August 26, 2026 · 1 hr 1 minHomotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of San Diego) joins…
-
aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
August 19, 2026 · 27 minWhat Is a Set? A Beginner’s Guide to Set Theory | aboutlogic: premises #06 In this aboutlogic: premises episode, Deniz and Thorsten explore the foundations of set theory. From Cantor’s groundbreaking ideas to Frege’s logical foundations…