Preuves par l’absurde et preuves constructives

Orateur: PANZA Marco
Localisation: Université Paris 1, France
Type: Histoire et philosophie des mathématiques
Site: UPEM
Salle: 3B 075
Date de début: 03/02/2015 - 16:30
Date de fin: 03/02/2015 - 16:30

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.

Affiche: