Mathématiques et Philosophie Contemporaines XIII

Scientific Program

Mathématiques

• Pierre Cartier, mathématiques et philosophie

• La formalisation des mathématiques dans Lean

Philosophie

• Le naturalisme en philosophie des mathématiques

Histoire et philosophie des mathématiques

• Le développement de l'axiomatique euclidienne

• Que vient faire la philosophie dans l'histoire des mathématiques ?