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


OpenEdition vous propose de citer ce billet de la manière suivante :
Paola Cantu (29 octobre 2024). Workshop on the formalization of elementary geometry. Axiomatic Definitions. Consulté le 13 mars 2026 à l’adresse https://axdef.hypotheses.org/597


Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

This site uses Akismet to reduce spam. Learn how your comment data is processed.