Computability and Logic
Computability and Logic
Computability and Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
226 INDEFINABILITY, UNDECIDABILITY, INCOMPLETENESS<br />
It follows by pure logic that<br />
⊢ T ∀y(Prf T ( R T , y) →∃z < y Disprf( R T , z))<br />
<strong>and</strong> hence ⊢ T R T , <strong>and</strong> T is inconsistent, a contradiction that shows that R T cannot be<br />
disprovable in T .<br />
A theory T is called ω-inconsistent if <strong>and</strong> only if for some formula F(x), ⊢ T ∃xF(x)<br />
but ⊢ T ∼F(n) for every natural number n, <strong>and</strong> is called ω-consistent if <strong>and</strong> only if<br />
it is not ω-inconsistent. Thus an ω-inconsistent theory ‘affirms’ there is some number<br />
with the property expressed by F, but then ‘denies’ that zero is such a number,<br />
that one is such a number, than two is such a number, <strong>and</strong> so on. Since ∃xF(x) <strong>and</strong><br />
∼F(0), ∼F(1), ∼F(2),...cannot all be correct, any ω-inconsistent theory must have<br />
some incorrect theorems. But an ω-inconsistent theory need not be inconsistent. (An<br />
example of a consistent but ω-inconsistent theory will be given shortly.)<br />
17.9 Theorem. Let T be a consistent, axiomatizable extension of Q. Then a Gödel<br />
sentence for T is unprovable in T , <strong>and</strong> if T is ω-consistent, it is also undisprovable in T .<br />
Proof: Suppose the Gödel sentence G T is provable in T . Then the ∃-rudimentary<br />
sentence ∃y Prf T ( G T , y) is correct, <strong>and</strong> so provable in T . But since G T is a Gödel<br />
sentence, G T ↔∼∃y Prf T ( G T , y) is also provable in T . By pure logic it follows<br />
that ∼G T is provable in T , <strong>and</strong> T is inconsistent, a contradiction, which shows that<br />
G T is not provable in T .<br />
Suppose the sentence G T is disprovable in T . Then ∼∼∃y Prf T ( G T , y) <strong>and</strong> hence<br />
∃y Prf T ( G T , y) is provable in T . But by consistency, G T is not provable in T , <strong>and</strong> so<br />
for any n, n is not a witness to the provability of G T , <strong>and</strong> so the rudimentary sentence<br />
∼Prf T ( G T , n) is correct <strong>and</strong> hence provable in Q <strong>and</strong> hence in T . But this means<br />
T is ω-inconsistent, a contradiction, which shows that G T is not disprovable in T .<br />
For an example of a consistent but ω-inconsistent theory, consider the theory<br />
T = Q +∼G Q consisting of all consequences of the axioms of Q together with ∼G Q<br />
or ∼∼∃y Prf Q (G Q , y). Since G Q is not a theorem of Q, this theory T is consistent. Of<br />
course ∃y Prf Q (G Q , y) is a theorem of T . But for any particular n, the rudimentary<br />
sentence ∼Prf Q (G Q , n) is correct, <strong>and</strong> therefore provable in any extension of Q,<br />
including T .<br />
Historically, Theorem 17.9 came first, <strong>and</strong> Theorem 17.8 was a subsequent refinement.<br />
Accordingly, the Rosser sentence is sometimes called the Gödel–Rosser<br />
sentence. Subsequently, many other examples of undecidable sentences have been<br />
brought forward. Several interesting examples will be discussed in the following,<br />
optional section, <strong>and</strong> the most important example in the next chapter.<br />
17.3* Undecidable Sentences without the Diagonal Lemma<br />
The diagonal lemma, which was used to construct the Gödel <strong>and</strong> Rosser sentences,<br />
is in some sense the cleverest idea in the proof of the first incompleteness theorem,<br />
<strong>and</strong> is heavily emphasized in popularized accounts. However, the possibility of implementing<br />
the idea of this lemma, of constructing a sentence that says of itself that<br />
it is unprovable, depends on the apparatus of the arithmetization of syntax <strong>and</strong> the