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.
Related Posts via Categories

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.
1 comment