Season 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 Season 2 recap, Thorsten Altenkirch and Deniz Sarikaya look back at conversations with Urs Schreiber, Joel David Hamkins, Dana Scott, Emily Riehl, Bernhard Fisseni, Bernhard Schröder, José Pérez Escobar, Jan von Plato, Mike Shulman, Tudor Achim, and Neil Ghani — and preview where Season 3 is headed.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from aboutlogic
aboutlogic Premises #09 | Why Symbolic AI Failed — and Then Won
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
Get summaries like this every morning.
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.