Rencontres PHILMATHMED 2025

5-6 Mai 2025, Frumam, Batiment 10, 2ème étage, Campus St. Charles, Marseille

La notion de démonstration à l’intersection de la logique, des mathématiques, de l’informatique et de la didactique

Comité scientifique : Claudio Bartocci (DIMA, Università degli Studi di Genova) ; Francesca Biagioli (Università degli Studi di Torino) ; Paola Cantù (CNRS/Univ Aix-Marseille) ; Thomas Hausberger (IMAG Montpellier) ; Sébastien Maronne (IMT Toulouse) ; Frédéric Patras (CNRS /LJAD Nice) ; Silvia de Toffoli (IUSS  Pavia), Thierry Paul (LYSM, CNRS Rome)

Comité d’organisation : Paola Cantù

Partenaires : RT CNRS SHS PHILMATH, ANR-23-CE54-0012 « Axiomatic Definitions », CGGG Centre Gilles Gaston Granger (CNRS et Aix-Marseille-Université,) LYSM Laboratoire Ypatia des Sciences Mathématiques (CNRS Mathématiques)

Les rencontres se dérouleront exclusivement en présentiel. Inscription gratuite mais obligatoire en remplissant le formulaire disponible ici.

____________________________
Programme

Lundi 5 mai 2025

13h30 Accueil

14h00-15h30 Lionel Vaux Auclair, Dérivation et développement de Taylor des preuves

16h00-17h30 Faustine Oliva, Le script de preuve formelle, une interface entre formalismes et intuitions ?

17h30-19h00 Table ronde  L’avenir de la notion de preuve dans un monde sans rigueur ? Thierry Paul et Nicolas Saby.

Mardi 6 mai 2025

9h00-10h30 Gianni Biolo, Le raisonnement géométrique d’Eduard Study lié à la Dyname et à autres outils algébriques-géométriques, dans la tradition mathématique germanique et ses liens avec la culture mathématique française

11h00-12h30 Simon Modeste, Un regard didactique (et épistémologique) sur les relations algorithme-preuve et sur les assistants de preuve

14h30-16h00 Frédéric Rouvière, Argumentation, raisonnement et démonstration en droit

16h30-18h00 Antonio Piccolomini, Normalisation et sémantique des preuves. Vers une interpretation Hilbertienne de la proof-theoretic semantics.

Les rencontres seront suivies par une journée sur l’espace organisée en collaboration avec l’ANR-23-CE54-0012 « Axiomatic Definitions ». Inscription gratuite mais obligatoire en remplissant le formulaire disponible ici. La journée sur l’espace sera également diffusée à distance.

7 Mai 2025, i2M, Campus St. Charles, Marseille

Comité d’organisation : Jean-Yves Briend et Paola Cantù

Partenaires : ANR-23-CE54-0012 « Axiomatic Definitions », Laboratoire I2M, Centre Gilles Gaston Granger, CNRS et Aix-Marseille-Université

Programme

Mercredi 7 mai 2025

9h00 Accueil

9h15-10h30 Olivia Caramello, La ‘notion unificatrice’ de topos

11h00-12h15 Francesca Biagioli, tbc

REPAS

14h00-15h15 Fréderic Jaëck, Espaces et structures : pourquoi, comment et autres questions philosophiques.

15h45-17h00 Jean-Yves Briend, Desargues et le Brouillon-Project sur les coniques : dans l’atelier du géomètre.


OpenEdition vous propose de citer ce billet de la manière suivante :
Paola Cantu (30 mars 2025). Rencontres PHILMATHMED 2025. PhilMath. Consulté le 25 avril 2025 à l’adresse https://philmath.hypotheses.org/2190


Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

This site uses Akismet to reduce spam. Learn how your comment data is processed.