IHPST, 13 rue du Four, Salle de conférence

9:15 - 10:30 – Benedict Eastaugh, Recursive Counterexamples and the Foundational Standpoint

10:30 - 10:45 – Pause café

10:45 - 12:00 – Walter Dean, Bernays and the Frege-Hilbert controversy

12:00 - 13:30 – Déjeuner

13:30 - 14:45 – Alan Weir, Informal Proof, Feasible Proof and Formalism

14:45 - 15:00 – Pause café

15:00 - 16:15 – Marianna Antonutti, Intuition, Understanding, and Proof in Afanassjewa's Approach to Geometry

L'atelier est organisé par Marianna Antonutti (MCMP Munich) et Marco Panza (IHPST) et financé par le projet ANR/DFG "Formalisme, formalisation, intuition et compréhension en mathématiques".