
        From Gödel to AI-Proved Math
<p>You can now become a channel member on Youtube. 
Your support helps us keep these conversations going! 
If you’d like to contribute, you can buy us a coffee here: <a href="https://buymeacoffee.com/aboutlogic">https://buymeacoffee.com/aboutlogic</a></p>
<p>Get the HoTT Book for free (no advertisement): <a href="https://homotopytypetheory.org/book/">https://homotopytypetheory.org/book/</a>
Thorsten Altenkirch: <a href="http://www.cs.nott.ac.uk/~psztxa/">http://www.cs.nott.ac.uk/~psztxa/</a>
Deniz Sarikaya: <a href="https://www.denizsarikaya.de/">https://www.denizsarikaya.de/</a>
Creative Production: Jan-Niklas Meyer: <a href="http://www.jammos.com/">http://www.jammos.com/</a></p>
<h1 id="mathematicslogicaicategorytheorytypetheorysettheoryformalverificationaboutlogic">Mathematics #Logic #AI #CategoryTheory #TypeTheory #SetTheory #FormalVerification #aboutlogic</h1>
      

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.

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

Description