aboutlogic
Avsnitt

Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22

aboutlogic
Dela

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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Deniz Sarikaya, Thorsten Altenkirch. Innehållet i podden är skapat av Deniz Sarikaya, Thorsten Altenkirch och inte av, eller tillsammans med, Poddtoppen.