I've recently read that, although Godel Incompleteness holds for the theory of natural numbers, the theory of the real numbers is actually complete. So, why is Godel's Theorem still considered important? Surely, the real number system is the one we use and the theory of the natural numbers is clearly leaving out a lot. Please explain this to me.
Completeness of Real Number Arithmetic?
-
0When you write, "the real number system is the one we use," who do you mean by "we"? Some of us make our living working on the natural numbers. The question of whether there are infinitely many twin primes could be undecidable in Godel's sense. The result on the reals is of no use for this question about primes. – 2012-01-25
1 Answers
Goedel's Incompleteness Theorem is still important because not only arithmetic is susceptible to it, but any theory strong enough to interpret arithmetic. The theory of real closed fields is complete, which implies that it is not strong enough to interpret arithmetic.
You might be surprised, since in your question you clearly consider the theory of real numbers far superior to arithmetic. After all there are more real numbers than natural number. But the "elementary" arithmetic (that is the staff like $1 + 1 = 2$) does not produce incompleteness. Incompleteness comes with quantifiers. And in the structure of real numbers you can't say something like "a proposition holds for all natural numbers". The quantifier $\forall$ automatically quantifies over all real numbers and those extra numbers "spoil the party". If you could define the set of natural numbers in the theory of real closed fields, than it would be incomplete.