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.