Qu'est-ce qu'une Démonstration Constructive - Gilles Dowek, INRIA - Conférence INSA Lyon 2017

 

Retransmission de la conférence du 6 février 2017

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 sûreté 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 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.