Mathématiques et Philosophie Contemporaines XIII

Liste des Contributions

4. Le développement de l'axiomatique euclidienne 1

Vincenzo de Risi (SPHere)

9. Le développement de l'axiomatique euclidienne 2

Vincenzo de Risi (SPHere)

3. Le naturalisme en philosophie des mathématiques 1

Marianna Antonutti Marfori (IHPST)

8. Le naturalisme en philosophie des mathématiques 1

Marianna Antonutti Marfori (IHPST)

1. Les enjeux des librairies mathématiques

Antoine Chambert-Loir

Le développement de la librairie Mathlib au sein du logiciel de formalisation mathématique Lean vise explicitement à fournir un corpus cohérent et efficace des bases des mathématiques permettant d'y mener la formalisation de projets de recherche contemporains.Même si des projets similaires, mais moins médiatisés, existent pour d'autres logiciels,
Mathlib est souvent comparée au projet...

2. Les travaux philosophiques et mathématiques de Pierre Cartier 1 - Philosophie

Frédéric Patras (CNRS)

7. Les travaux philosophiques et mathématiques de Pierre Cartier 2 - Mathématiques

Frédéric Patras (CNRS)

6. Librairies mathématiques — une nouvelle Babel ?

Antoine Chambert-Loir

Je voudrais réfléchir ici à la langue dans laquelle nous faisons des mathématiques, d'abord au sens commun, puis au sens du vocabulaire, presque toujours implicite à nos raisonnements, de la théorie des ensembles. De fait, les librairies de mathématiques formalisées utilisent plutôt (mais pas uniquement) un autre langage, celui de la théorie des types qui, par certains aspects, est plus proche...

5. Que vient faire la philosophie dans l'histoire des mathématiques ? (table ronde)

Hourya Benis-Sinaceur (IHPST)