Login

Mathématiques et Philosophie Contemporaines XIII

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

Informations

Contribution List

17 out of 17 displayed
Export to 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)
    6/22/26, 6:30 PM
  2. 1. Les enjeux des librairies mathématiques
    Antoine Chambert-Loir
    6/23/26, 9:00 AM
    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...

    Go to contribution page
  3. 4. Le développement de l'axiomatique euclidienne : Partie 1
    Vincenzo de Risi (SPHere)
    6/23/26, 11:30 AM
    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...

    Go to contribution page
  4. 3. Le naturalisme en philosophie des mathématiques 1
    Marianna Antonutti Marfori (IHPST)
    6/23/26, 4:00 PM
    Le naturalisme en philosophie des mathématiques
  5. 11. Exposé TBA 1
    6/23/26, 6:15 PM
  6. 12. Exposé TBA 2
    6/23/26, 7:15 PM
  7. 9. Le développement de l'axiomatique euclidienne : Partie 2
    Vincenzo de Risi (SPHere)
    6/24/26, 9:00 AM
    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...

    Go to contribution page
  8. 2. Les travaux philosophiques et mathématiques de Pierre Cartier 1 - Philosophie
    Frédéric Patras (CNRS)
    6/24/26, 11:30 AM
    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)
    6/24/26, 6:30 PM
    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)
    6/25/26, 9:00 AM
    Pierre Cartier, mathématiques et philosophie
  11. 8. Le naturalisme en philosophie des mathématiques 2
    Marianna Antonutti Marfori (IHPST)
    6/25/26, 11:30 AM
    Le développement de l'axiomatique euclidienne
  12. 6. Librairies mathématiques — une nouvelle Babel ?
    Antoine Chambert-Loir
    6/25/26, 4:00 PM
    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...

    Go to contribution page
  13. 13. Exposé TBA 3
    6/25/26, 6:00 PM
  14. 14. Exposé TBA 4
    6/25/26, 7:00 PM
  15. 15. Exposé TBA 5
    6/26/26, 9:00 AM
  16. 16. Exposé TBA 6
    6/26/26, 10:00 AM
  17. 17. Exposé TBA 7
    6/26/26, 11:00 AM