aboutlogic

Author: Deniz Sarikaya, Thorsten Altenkirch

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 likeits motivations, frustrations, and surprises.
Be a guest on this podcast

Language: en

Genres: Mathematics, Philosophy, Science, Society & Culture

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Trailer:

Get all podcast data

Listen Now...

Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22
Wednesday, 7 October, 2026

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.