Université Paris-Est Université Paris-Est - Marne-la-Vallée Université Paris-Est - Créteil Val-de-Marne Centre National de la Recherche Scientifique

Preuves par l’absurde et preuves constructives

Site: 
Date: 
03/02/2015 - 16:30 - 18:30
Salle: 
3B 075
Orateur: 
PANZA Marco
Localisation: 
UMR 8590
Localisation: 
France
Résumé: 

Le but du cours est double: introduire la notion de constructivité d’une preuve mathématique, en insistant, en particulier, sur les relations entre preuves par l’absurde et preuves constructives; se demander si une preuve par l’absurde est nécessairement constructive. Je vais présenter, ensuite, des exemples tirés des Éléments de Euclide pour montrer que la réponse est négative.