On discute des suites au programme formaliste d'Hilbert, et principalement de la question de la décidabilité. Retrouvez tout le contenu sur : http://www.principia-informatica.fr/
🎉 Join the #1 community of podcast lovers and never miss a great podcast.
Sign up
Recommendations