S'authentifier

Mathématiques et Philosophie Contemporaines XIII

22–26 juin 2026
Relais des quatre vents, Lac de Saint-Ferréol (31)
Fuseau horaire Europe/Paris

Informations

Liste des Contributions

17 sur 17 affichés
Exporter en PDF
  1. 10. Philosophie mathématique : enjeux, débats (table ronde et discussion générale)
    Baptiste Mélès, Brice Halimi (Paris Cité, SPHere), Frédéric Patras (CNRS), Paola Cantù (CNRS, Centre Gilles Gaston Granger)
    22/06/2026 18:30
  2. 1. Les enjeux des librairies mathématiques
    Antoine Chambert-Loir
    23/06/2026 09:00
    La formalisation des mathématiques dans Lean

    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...

    Aller à la page de la contribution
  3. 4. Le développement de l'axiomatique euclidienne : Partie 1
    Vincenzo de Risi (SPHere)
    23/06/2026 11:30
    Le développement de l'axiomatique euclidienne

    Tracer des figures sur l'eau : origine et signification des postulats d'Euclide

    Les deux séances aborderont le thème de l'histoire de la pensée axiomatique de l'Antiquité à l'époque moderne. Plus précisément, la première séance traitera de la naissance de la pensée axiomatique dans les écrits d'Aristote et d'Euclide, et proposera une interprétation dialectique et inférentielle des...

    Aller à la page de la contribution
  4. 3. Le naturalisme en philosophie des mathématiques 1
    Marianna Antonutti Marfori (IHPST)
    23/06/2026 16:00
    Le naturalisme en philosophie des mathématiques
  5. 11. Exposé TBA 1
    23/06/2026 18:15
  6. 12. Exposé TBA 2
    23/06/2026 19:15
  7. 9. Le développement de l'axiomatique euclidienne : Partie 2
    Vincenzo de Risi (SPHere)
    24/06/2026 09:00
    Le développement de l'axiomatique euclidienne

    Le fondement des axiomes : l'idéal scientifique au Moyen Âge et à l'âge classique

    Les deux séances aborderont le thème de l'histoire de la pensée axiomatique de l'Antiquité à l'époque moderne. La deuxième sèance montrera certaines transformations de l'épistémologie de l'axiomatique qui ont eu lieu au Moyen Âge et au début de l'époque moderne, et comment elles ont déterminé de manière...

    Aller à la page de la contribution
  8. 2. Les travaux philosophiques et mathématiques de Pierre Cartier 1 - Philosophie
    Frédéric Patras (CNRS)
    24/06/2026 11:30
    Pierre Cartier, mathématiques et philosophie
  9. 5. Que vient faire la philosophie dans l'histoire des mathématiques ? (table ronde)
    Hourya Benis-Sinaceur (IHPST)
    24/06/2026 18:30
    Que vient faire la philosophie dans l'histoire des mathématiques ?
  10. 7. Les travaux philosophiques et mathématiques de Pierre Cartier 2 - Mathématiques
    Frédéric Patras (CNRS)
    25/06/2026 09:00
    Pierre Cartier, mathématiques et philosophie
  11. 8. Le naturalisme en philosophie des mathématiques 2
    Marianna Antonutti Marfori (IHPST)
    25/06/2026 11:30
    Le développement de l'axiomatique euclidienne
  12. 6. Librairies mathématiques — une nouvelle Babel ?
    Antoine Chambert-Loir
    25/06/2026 16:00
    La formalisation des mathématiques dans Lean

    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...

    Aller à la page de la contribution
  13. 13. Exposé TBA 3
    25/06/2026 18:00
  14. 14. Exposé TBA 4
    25/06/2026 19:00
  15. 15. Exposé TBA 5
    26/06/2026 09:00
  16. 16. Exposé TBA 6
    26/06/2026 10:00
  17. 17. Exposé TBA 7
    26/06/2026 11:00