Agenda de la FDP


C*-académie

Le lundi à 14h00 - Salle de Séminaire(Orléans)
Responsables : ,
 
La signification des preuves de non-contradiction
Stefan Neuwirthwww
vendredi 29 septembre 2017 - 14h00 - Salle de Séminaire(Orléans)

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 ?
 
Page du groupe de travail

retour