I am reading the paper of Jeremy Avigad, Edward Dean and John Mumma, entitled "A formal system for Euclid's Elements".

Could this approach be extended to the books of Apollonius of Perga dealing with conics ?

I am interested in complexity questions and the completeness/incompleteness of axiomatic systems for Greek geometry.

Maybe there is more to the late ideas of Frege about basing Arithmetic on Geometry than is generally believed...

Also, inspired by the well-known correspondence between the elementary theory of field extensions and the classical constructions with ruler and compass, one can ask: what kind of field extensions correspond to constructions in which we can draw conics as well as circles and lines ?

Similar questions and discussions