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

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