CGGG. Séminaire à l’Alcazar

11 décembre 2021 16:30 / 18:30

Fabien Carbo-Gil, doctorant, Centre Granger

Communication sur « Comment démontrer qu’un théorème est indémontrable ? « 

Résumé : En mathématiques, si on démontre un théorème alors on le tient pour vrai. Si on le réfute, on le tient pour faux. Mais parfois, il est impossible de démontrer tout comme de réfuter un théorème, on dit alors qu’il est indémontrable. Nous discuterons de l’existence de théorèmes indémontrables et de la manière de démontrer qu’un théorème est indémontrable.
Nous introduirons ces concepts via deux exemples célèbres : le postulat des parallèles d’Euclide et l’hypothèse du continu.
Cela nous amènera à interroger en profondeur les concepts de démonstration et de vérité en mathématiques. Nous verrons ainsi comment les théorèmes indémontrables cristallisent le débat philosophique autour des questions de la nature des objets mathématiques et de la nature de la pratique mathématiques.

CGGG Centre Gilles Gaston Granger

+33 (0)4 13 55 33 24

Voir le site Organisateur

L’Alcazar BMVR

58 Cours Belsunce
Marseille, 13001 France
+ Google Map
04 91 55 90 00
Voir Lieu site web

Agenda