Ressources numériques en sciences humaines et sociales OpenEdition Nos plateformes OpenEdition Books OpenEdition Journals Hypothèses Calenda Bibliothèques OpenEdition Freemium Suivez-nous

Workshop on the formalization of elementary geometry

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