C*-académie

La signification des preuves de non-contradiction
Stefan Neuwirth
Friday 29 September 2017 14:00 -  Orléans -  Salle de Séminaire

Résumé :
Que signifie le théorème de Gödel? Que signifie la preuve de non-contradiction de l'arithmétique, dont la première a été donnée par Gerhard Gentzen en 1936 ? Quelles perspectives y a-t-il pour une preuve de non-contradiction de l'analyse ?

Liens :

• Auteur
• Page du groupe de travail