A formal system for Euclid's Elements
classification
🧮 math.LO
keywords
elementseuclidformalsystemdiagrammaticfaithfulincludingmodel
read the original abstract
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.