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

Conférence de math par Gilles Dowek, professeur d'Informatique à l'École polytechnique et chercheur à l'INRIA le 06/02 à 19h sur la classification des démonstrations mathématiques : démonstrations constructives et non constructives.

SUPPORT de la conférence

VIDEO

conf démonstration constructive