Séminaire d'histoire des mathématiques de l'IHP (Paris, France)
Vendredi 16 janvier 2015 (journée entière)
Les vidéos des conférences sont disponibles à partir de
https://www.youtube.com/playlist?list=PL9kd4mpdvWcAmf3-f0duAKR4btT11pHSO
Un site web complet de la conférence est également disponible http://www.ihp.fr/seminaire/SHM
Les constructivismes mathématiques; séance préparée par Alain Herreman et Marie-Françoise Roy
9h30 - 12h30 :
- Alain Herreman (IRMAR, Université Rennes 1), « La Géométrie de Descartes et la transformation des constructions recevables en géométrie »
- Henri Lombardi (LMB, Université de Franche-Comté), « Foundations of Constructive Analysis, Bishop, 1967 :
une refondation des mathématiques, constructive, minimaliste et révolutionnaire »
- Frédéric Brechenmacher (LinX, École polytechnique), « Effectivité et généralité dans la construction des grandeurs algébriques de Kronecker »
14h - 16h :
- Marie-Françoise Roy (IRMAR, Université Rennes 1), « Méthodes constructives en algèbre abstraite : l'exemple de la dimension »
- Catherine Goldstein (CNRS, Institut de mathématiques de Jussieu-PRG), « Constructivisme ou naturalisme ?
Quelques exemples de la deuxième moitié du 19e siècle »
16h - 16h30 :
16h30 - 18h30 :
- Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
- Table ronde avec les participants, suivie d'une discussion générale.