
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 (Antoine Chambert-Loir) ;
-
Les travaux mathématiques et philosophiques de Pierre Cartier (Frédéric Patras) ;
-
Le naturalisme en philosophie des mathématiques (Marianna Antonutti Marfori) ;
-
Que vient faire la philosophie dans l'histoire des mathématiques ? (Hourya Benis-Sinaceur)
-
Le développement de l'axiomatique euclidienne (Vincenzo de Risi).
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).