Les constructivismes mathématiques
Séminaire d'histoire des mathématiques de l'Institut Henri Poincaré
11, rue Pierre et Marie Curie, Paris 5e
Vendredi, de 14 h à 18 h 30, amphi Darboux
Fondé en 1948, le Séminaire d'histoire des mathématiques de l'IHP est un lieu d’échange entre historiens des mathématiques et participe également à maintenir et développer les liens entre mathématiciens et historiens.
Le séminaire organise actuellement cinq séances dans l’année. Ces séances visent à faire le point de recherches actuelles sur un thème qui peut constituer la présentation du travail d’un groupe de recherche ou être spécialement construit pour le séminaire. Elles se composent non seulement de conférences mais aussi de tables rondes et discussions abordant des questions méthodologiques et historiographiques.
Les captations audiovisuelles de certaines séances du Séminaire d'histoire des mathématiques peuvent être consultées à partir des collections de l'Institut Henri Poincaré ; plusieurs séances sont à l'origine d'articles pour la rubrique "IHP maison d'histoire" de la plateforme Image des mathématiques.
Le séminaire est soutenu par le GDR n° 3398 "Histoire des mathématiques" du CNRS.
Coordination : Frédéric Brechenmacher
Année 2014-2015
Coordination du Séminaire:
F. Brechenmacher, M. Bullynck, R. Chorlay, H. Gispert, A. Herreman, R. Tazzioli, D. Tournès.
16 janvier (journée entière)
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 »
16 h –16 h 30 : Pause café
16 h 30 – 18 h 30 : -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.
--