Mardi 5 décembre 2023 : J.-P. Marquis « Topos élémentaires, structuralisme abstrait et fondements des mathématiques »
Dans le cadre du séminaire « Histoire et Philosophie des Sciences », le CRHI, le Laboratoire J.A. Dieudonné et l'axe 5 de la MSHS sont heureux d’accueillir :
Jean-Pierre MARQUIS (Université de Montréal)
« Topos élémentaires, structuralisme abstrait et fondements des mathématiques »
mardi 05 décembre 2023, 17h-18h30
Salle de conférences du laboratoire J.A. Dieudonné (Campus Valrose)
Présentation
La théorie des topos (Grothendieck, Lawvere...) suscite actuellement beaucoup d'intérêt dans la communauté mathématique, et au-delà. Dans cet exposé, nous allons présenter quelques exemples simples de topos élémentaires qui ont un intérêt philosophique, discuter comment ils constituent une manifestation du structuralisme en mathématiques, et certaines des implications que cette approche entraîne pour les fondements des mathématiques. Aucune connaissance des topos ou de la théorie des catégories ne sera présupposée.
