Euclidian Geometry is Decidable

The other day, Carl mentioned that Euclidean Geometry was decidable.  I thought that was impossible because I thought it would have an isomorphic copy of Peano arithmetic which is not decidable.   Later he pointed me toward Tarski’s axioms.   Here’s a quote from the Wikipedia page “This fact allowed Tarski to prove that Euclidean geometry is decidable: there exists an algorithm which can determine the truth or falsity of any sentence.”  I found the whole article to be pretty cool because I had never really dug into geometry as a first order predicate calculus.

1 comment

  1. ThePig’s avatar

    Interesting. I just saw this.

    I used Tarski’s result in my thesis to show that the question of whether an abstract simplicial complex has an embedding in R^d is decidable. I had not realized that it extends to all of geometry.

Comments are now closed.