Accueil > Agenda > Retours en images > Année 2021

Retour sur le séminaire à l’Alcazar

Le samedi 11 décembre de 16h30 à 18h30 - Fabien Carbo-Gil, doctorant du Centre Gilles Gaston Granger a fait une intervention à l’Alcazar à Marseille sur le sujet :



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.