Qu'est-ce qu'une démonstration constructive ?

Le
Bibliothèque Marie Curie
De 19:00 à 21:00
En partenariat avec la bibliothèque

"Gilles Dowek est professeur d'Informatique à l'École polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique (INRIA). Ses travaux portent sur les rapports entre les langages de programmation et le langage mathématique, sur les systèmes informatisés de traitement de démonstrations mathématiques et sur la sureté des logiciels. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul." d'après http://www.futura-sciences.com

 Au début du XXe siècle est apparu une classification des démonstrations mathématiques entre démonstrations constructives et non constructives. On s'est aperçu, par la suite, que les démonstrations constructives pouvaient être vues comme des algorithmes et donc que la notion de démonstration constructive concernait aussi bien les mathématiques que l'informatique. Nous montrerons dans cet exposé les différentes étapes de cette histoire de la notion de constructivité en mathématique et en informatique.

SUPPORT de la conférence

 

conf de math Dowek