[FOM] Undecidability in geometry

Hrant Marandjian hrant.marandjian at unicad.am
Thu Oct 24 08:01:57 EDT 2002

Fred Richman wrote:

>Are there undecidable statements in Euclidean geometry?

Elementery geomerty is decidable.
See, for details,
Alfred Tarski. A Decision Method for 
Elementary Algebra and Geometry. 
University of California Press, Berkeley, 
2nd edition, 1951.

--Hrant Marandjian

More information about the FOM mailing list