-
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 ?
-
Choisissez le fuseau horaire
Le fuseau horaire de votre profil: