Paris, IHPST, Monday, December 9, 2024
9:30-10:45 a.m.: Victor Pambuccian (Arizona State University), Why Euclid did not need the Pasch axiom
11:15-12:30: Julien Narboux (Université Paris Cité), Lessons learned from the formalization of the geometries of Euclid, Tarski and Hilbert
Lunch
14:00-15:15: Walter Dean (University of Warwick), On geometric consistency from the finitary standpoint
15:45-17:00: Alberto Naibo (IHPST), with Marco Panza (IHPST, Chapman University) and José Gil-Ferez (Chapman University), Reconstructing Euclid’s Book I of the Elements formally: some examples
The workshop will take place in hybrid mode. Please find the link here.
For further information, please get in touch with the organizer, Vincenzo De Risi (CNRS et SPHERE, Univ. Paris Cité)