100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Louis Funar

René Cori

Ces propositions que l'on ne peut ni démontrer ni réfuter
Jeudi, 6 Avril, 2017 - 16:30 à 17:30
Résumé: 

On sait que l'hypothèse du continu ou l'axiome du choix sont des propositions « indécidables ».
Qu'est-ce que cela signifie au juste ? Et l'existence de telles propositions est-elle inévitable ?
La notion de modèle de la théorie des ensembles aide à y voir plus clair.
Partant d'une question élémentaire sur les groupes, nous expliquerons ce qu'est une théorie complète
et pourquoi les mathématiques sont irrémédiablement incomplètes.

Institution: 
Université Paris 7
Salle: 
Amphi Chabauty
logo uga logo cnrs