
Cette année, l’école thématique CNRS « Mathématiques et Philosophie Contemporaines »XII est articulée autour de trois sessions thématiques composées de cours (1h30 et 30mn de questions), d'exposés de recherche (1h et 30mn de questions) et de table rondes (1h30). S'y ajoute des sessions d’exposés libres en particuliers destinées aux jeunes chercheurs.
Les thèmes traités en 2026 sont :
-
La formalisation des mathématiques dans Lean ;
-
Les travaux mathématiques et philosophiques de Pierre Cartier ;
-
Le naturalisme en philosophie des mathématiques ;
-
Que vient faire la philosophie dans l'histoire des mathématiques ?
-
Le développement de l'axiomatique euclidienne ;
L'école thématique "Mathématiques et Philosophie Contemporaines XII" est soutenue par le CNRS (INSMI et INSHS), le Réseau Thématique "Philosophie des Mathématiques", l'Institut de Mathématiques de Toulouse et le LABEX CIMI de Toulouse.
Porteur de l'école thématique : Sébastien Maronne (UT, IMT)
Comité d'organisation scientifique : Paola Cantù (CNRS, CGGG), Brice Halimi (Paris Cité, SPHere), Baptiste Mélès (CNRS, AHP), Frédéric Patras (CNRS, LJAD).