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

Conférence de Gilles Dowek

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.

Quand ?
le 9/2 à 19h

Où ?
Bibliothèque Marie Curie de l’INSA Lyon
Amphi Du Chatelet
Campus Lyon Tech-la Doua – Villeurbanne

• Entrée libre
• Gratuite

Il s’agit d’un cycle de 5 conférences proposées par le Pôle de Mathématiques, la Bibliothèque Marie Curie et la Maison des Mathématiques et de l’Informatique, soutenues par la Fondation INSA Lyon.

Elles sont indépendantes les unes des autres.