Gödel's Theorem An Incomplete Guide To Its Use and Abuse
Gödel's Theorem An Incomplete Guide To Its Use and Abuse
i i
Gödel’s Theorem
i i
i i
i i
i i
Gödel’s Theorem
An Incomplete Guide to
Its Use and Abuse
Torkel Franzén
Luleå University of Technology, Sweden
A K Peters
Wellesley, Massachusetts
i i
i i
i i
i i
A K Peters, Ltd.
888 Worcester Street, Suite 230
Wellesley, MA 02482
www.akpeters.com
All rights reserved. No part of the material protected by this copyright notice
may be reproduced or utilized in any form, electronic or mechanical, including
photocopying, recording, or by any information storage and retrieval system,
without written permission from the copyright owner.
Franzén, Torkel.
Gödel’s theorem : an incomplete guide to its use and abuse / Torkel Franzén.
p. cm.
Includes bibliographical references and index.
ISBN 1-56881-238-8
1. Gödel’s theorem. 2. Incompleteness theorems. I. Title.
QA9.65.F73 2005
511.3–dc22
2005045868
About the cover: Sampled on the cover are various arguments and reflections
invoking Gödels theorem. The aim of the book is to allow a reader with no
knowledge of formal logic to form a sober and soundly based opinion of these
uses and abuses.
i i
i i
i i
i i
For Marcia,
still bright and beautiful, in her joy, in her despair
i i
i i
i i
i i
Contents
Preface ix
1 Introduction 1
1.1 The Incompleteness Theorem . . . . . . . . . . . . . . . . . 1
1.2 Gödel’s Life and Work . . . . . . . . . . . . . . . . . . . . . 4
1.3 The Rest of the Book . . . . . . . . . . . . . . . . . . . . . 7
vii
i i
i i
i i
i i
viii Contents
4 Incompleteness Everywhere 77
4.1 The Incompleteness Theorem Outside Mathematics . . . . . 77
4.2 “Human Thought” and the Incompleteness Theorem . . . . 80
4.3 Generalized Gödel Sentences . . . . . . . . . . . . . . . . . 83
4.4 Incompleteness and the TOE . . . . . . . . . . . . . . . . . 87
4.5 Theological Applications . . . . . . . . . . . . . . . . . . . . 90
A Appendix 155
A.1 The Language of Elementary Arithmetic . . . . . . . . . . . 155
A.2 The First Incompleteness Theorem . . . . . . . . . . . . . . 157
A.3 Goldbach-Like Statements . . . . . . . . . . . . . . . . . . . 160
References 165
Index 169
i i
i i
i i
i i
Preface
ix
i i
i i
i i
i i
x Preface
it will give even casual readers a basis for judging for themselves the merits
of such nonmathematical appeals to the incompleteness theorem and an
appreciation of some of the philosophical and mathematical perspectives
opened up by the theorem.
Torkel Franzén
i i
i i
i i
i i
1
Introduction
i i
i i
i i
i i
2 1. Introduction
i i
i i
i i
i i
i i
i i
i i
i i
4 1. Introduction
i i
i i
i i
i i
i i
i i
i i
i i
6 1. Introduction
about no revolution whatsoever. The theorem is used all the time in math-
ematical logic, a comparatively small subfield of mathematics, but it plays
no role in the work of mathematicians in general. To be sure, mathemati-
cians are generally aware of the phenomenon of incompleteness and of the
possibility of a particular problem being unsolvable within the standard ax-
iomatic framework of mathematics, but a special case needs to be made in
each instance where there is reason to believe that incompleteness should
be a matter of mathematical concern. Gödel’s “rotating universes,” his
new solutions of the equations of general relativity, have had no great im-
pact on cosmology, and the subject of computer science could hardly have
been revolutionized by Gödel’s theorem since it didn’t exist at the time the
theorem was proved. The theoretical basis of computer science is associ-
ated rather with the work of the British mathematician and logician Alan
Turing, who introduced in 1936 an idealized theoretical model of a digital
computer and used it to prove the “unsolvability of the halting problem.”
This result is closely related to the first incompleteness theorem, and the
basic connections between the two will be set out in later chapters.
Like the special theory of relativity a quarter of a century earlier, the
theorems proved by Gödel in 1929 and 1930—the completeness theorem
for first-order logic and the incompleteness theorem—were in the air at the
time. Gödel himself felt that it would have been only a matter of months
before somebody else had stumbled on the theorems ([Kreisel 80]). In the
case of the completeness theorem, Gödel believed (rightly or wrongly) that
only philosophical prejudice against nonfinitary reasoning had prevented
the Norwegian logician Thoralf Skolem from arriving at the theorem. In
the case of the first incompleteness theorem, priority was in fact claimed by
the German mathematician Paul Finsler, but although his outlined argu-
ment can be made precise and correct using Gödel’s work, it did not in his
presentation amount to a proof of anything. The Polish-American logician
Emil Post, who did pioneering work in the theory of computability, came
much closer to Gödel’s insight, but without producing any conclusive for-
mal result. In particular, the mathematical precision and thoroughness of
Gödel’s proof of the first incompleteness theorem was probably necessary
for the second incompleteness theorem to emerge as a corollary.
Apart from its manifold applications in logic, the incompleteness theo-
rem does raise a number of philosophical questions concerning the nature
of logic and mathematics. These questions, and the implications of the
incompleteness theorem for our thinking about mathematics, are quite in-
teresting and significant enough without any exaggerated claims for the
i i
i i
i i
i i
i i
i i
i i
i i
2
The Incompleteness Theorem
An Overview
2.1 Arithmetic
The language of mathematics is full of terms and symbols that mean noth-
ing to nonmathematicians, and fairly often indeed mean very little to any-
one who is not an expert in a particular field of mathematics. But the part
of mathematical language known in logic as the language of elementary
arithmetic can be understood on the basis of ordinary school mathematics.
It deals with the natural numbers (nonnegative integers) 0, 1, 2,. . . and
the familiar operations of addition and multiplication, and it allows us to
formulate some of the most striking results in mathematics, and some of
the most difficult problems.
A prime, or prime number, is a natural number greater than 1 that is
evenly divisible only by 1 and itself. Thus, the first few primes are 2 (the
only even prime), 3, 5, 7, 11, 13, 17,. . . . One of the first substantial results
of pure mathematics in the Western world was the discovery that the primes
are inexhaustible, or infinite in number. In other words, for any given
prime, there is a larger one. This was proved by a simple and ingenious
argument in Euclid’s Elements (ca. 300 B.C.). Some 2,000 years later, it
was observed that if we look at the even numbers 0, 2, 4, 6, 8,..., it seems
that beginning with 4 they can all be written as the sum of two primes: 4 =
2+2, 6 = 3+3, 8 = 5+3, 10 = 5+5, 12 = 7+5,. . . . In this case, however, no
proof suggested itself, and the statement in elementary arithmetic known as
i i
i i
i i
i i
Goldbach’s conjecture, “Every even number greater than 2 is the sum of two
primes,” has not yet been either proved or disproved. Another conjecture
about primes that has not yet been settled is the twin prime conjecture,
according to which there are infinitely many primes p such that p + 2 is
also a prime.
Let us take a closer look at a particular class of arithmetical prob-
lems. These problems are most conveniently described in terms of the
integers, which besides the natural numbers also encompass the nega-
tive numbers −1, −2, −3,. . . . A Diophantine equation (named after the
third century Greek mathematician Diophantus) is an equation of the form
D(x1 , . . ., xn ) = 0, where D(x1 , . . ., xn ) is a polynomial with integer coef-
ficients. What this means is that D(x1 , . . ., xn ) is an expression built up
from the unknowns x1 , . . ., xn using integers, multiplication, addition, and
subtraction. A solution of the equation is an assignment of integer val-
ues to x1 , . . ., xn such that the expression has the value 0. Some examples
will make this clearer. The following (where we write x2 for x × x, y 4 for
y × y × y × y, 5y for 5 × y, and so on) are Diophantine equations:
x + 8 = 5y
x2 = 2y 2
x2 + y 2 = z 2
x4 + y 4 = z 4
y 2 = 2x4 − 1
x18 − y 13 = 1.
The right-hand side of these equations is not 0, but we can easily rewrite
the equations so as to get an equation in the form D(x1 , . . ., xn ) = 0. The
first equation becomes x + 8 − 5y = 0, the second equation x2 − 2y 2 = 0,
and so on.
The study of Diophantine equations—finding and describing their solu-
tions, or determining that they have no solutions—has been a specialized
field of mathematics for centuries. Diophantine problems range from the
very simple to the apparently hopelessly difficult, and mathematicians have
displayed extraordinary ingenuity in studying various classes of Diophan-
tine equations.
i i
i i
i i
i i
2.1. Arithmetic 11
7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1.
i i
i i
i i
i i
A Logical Distinction
i i
i i
i i
i i
2.1. Arithmetic 13
i i
i i
i i
i i
case of the general fact that for any formal system S, if a statement A is
provable in S, a systematic search will eventually find such a proof of A in
S. If A is not provable in S, a systematic search will in general just go on
forever without yielding any result.
So for any formal system S that incorporates a bit of arithmetic—the
basic rules needed to carry out computations—a Goldbach-like statement
is disprovable in S if false. On the other hand, we cannot make any similar
observations about how a Goldbach-like statement can be proved if it is
true. For every n, a computation can indeed verify that every number
0, 1, . . ., n has the property P , but this is not a verification that every
number has property P , no matter how large n is chosen. If a Goldbach-
like statement is true, it may well be that it can be proved to be true,
but we cannot say at the outset what mathematical methods such a proof
might require.
Every statement of the form “The Diophantine equation D(x1 , . . ., xn ) =
0 has no solution in nonnegative integers” is a Goldbach-like statement.
Here the relevant property of a sequence of numbers k1 , . . ., kn is that of
not being a solution of the equation D(x1 , . . ., xn ) = 0, and checking this
property only involves carrying out a series of multiplications, additions,
and subtractions, to see whether the result is 0.
In contrast, the twin prime conjecture is not a Goldbach-like statement.
It can be expressed as “Every natural number has the property P ,” where
a natural number n has the property P if there is a prime p larger than n
such that p + 2 is also a prime. But in this case we cannot read off from the
definition of the property any algorithm for checking whether a number has
this property or not. The procedure of systematically looking for a pair
of primes p and p + 2 greater than n will never terminate if there is no
such prime, and so it can never give the answer that n does not have the
property. Of course, if the twin prime conjecture is true, the procedure is
in fact an algorithm, one that will always show n to have the property, but
as long as we don’t know whether the conjecture is true or not, we don’t
know whether the procedure is an algorithm. Similar remarks apply to the
Collatz conjecture. It states that a particular sequence of computations
will always (that is, for every starting number) lead to 1, but there is no
obvious algorithm for deciding whether a particular starting number does
lead to 1. In the case of these two conjectures, we therefore have no logical
grounds for claiming that they must be disprovable if false.
The property of an arithmetical statement of being Goldbach-like will
play a role at several points in the discussion of incompleteness.
i i
i i
i i
i i
i i
i i
i i
i i
Formal Systems
i i
i i
i i
i i
i i
i i
i i
i i
carried out, while ZFC is an extremely powerful system that suffices for
formally proving most of the theorems of present day mathematics.
Negation
i i
i i
i i
i i
i i
i i
i i
i i
Consistency
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
which we can use the language of arithmetic and establish some basic facts
about addition and multiplication of natural numbers. Depending on the
system, there may be some translation involved in using the language of
arithmetic within the system, but essentially we can think of the language
of the system as including the language of elementary arithmetic.
The essential point of the requirement of encompassing a “certain amount
of arithmetic” can be explained without formally specifying the requisite
amount. In the discussion of Goldbach-like statements, it was claimed that
if a property of natural numbers, such as being the sum of two primes,
can be checked by a mechanical computation, then if a number n has that
property, there is an elementary mathematical proof that n has the prop-
erty. The “certain amount of arithmetic” that a formal system S needs
to encompass for the proof of the first incompleteness theorem to apply to
S is precisely the arithmetic needed to substantiate this claim. In other
words, if the “certain amount of arithmetic” can be carried out within S,
S can prove all arithmetical statements that can established by means of
a more or less lengthy mechanical computation.
The incompleteness theorem is often misstated as applying to systems
that are “sufficiently complex.” This is incorrect because the condition
of encompassing a certain amount of elementary arithmetic does not turn
on complexity in either a formal or informal sense, but on what can be
expressed and what can be proved in a system. There are very simple
systems to which the incompleteness theorem applies, and very complex
ones to which it does not apply. The relation between complexity and
incompleteness will be considered further in Chapter 8.
The idea of complexity also appears in supposed applications of the
incompleteness theorem outside mathematics. The following is a quota-
tion from “Postmodernism and the future of traditional photography” by
Richard Garrod:
Early in the 20th century, the mathematician Gödel established
that in a system of sufficient complexity (and that level is
reached in the syntax of any toddler) a complete description
of that system is not possible. The complexity of the simplest
photograph—any photograph—is incalculable, and the creative
possibilities of the simplest photograph are in fact infinite—and
always will be.
These comments are typical of many references to Gödel’s theorem that
loosely associate it with incompleteness or complexity in some sense or
i i
i i
i i
i i
i i
i i
i i
i i
For any seven different real numbers, there are among them two
numbers x and y such that x − y divided by 1 + xy is greater
than 0 and smaller than the square root of three.
The complete theory of the real numbers proves these and similar state-
ments. As should be clear from these examples, the theory is far from
trivial, and it has numerous applications in electrical engineering, compu-
tational geometry, optimization, and other fields.
i i
i i
i i
i i
Since the natural numbers form a subset of the real numbers, it may
seem odd that the theory of the real numbers can be complete when the
theory of the natural numbers is incomplete. The incompleteness of the
theory of the natural numbers does not carry over to the theory of the real
numbers because even though every natural number is also a real number,
we cannot define the natural numbers as a subset of the real numbers
using only the language of the theory of the real numbers, and therefore
we cannot express arithmetical statements in the language of the theory.
Thus, we cannot, for example, in the theory of the real numbers express
the statement “There are natural numbers m, n, k greater than 0 such that
m3 + n3 = k 3 .” We can express the statement “There are real numbers
r, s, t greater than 0 such that r3 + s3 = t3 ” and also easily prove this
statement.
How would we ordinarily define the natural numbers as a subset of
the real numbers? The real numbers 0 and 1 can be identified with the
corresponding natural numbers, and using addition of real numbers we get
the natural numbers as the subset of the real numbers containing 0, 1, 1+1,
1 + 1 + 1, and so on. However, this “and so on” cannot be expressed in the
language of the theory of real numbers. Another way of formulating this
definition of the natural numbers is to say that the natural numbers are
the real numbers that belong to every set A of real numbers that contains
0 and is closed under the operation of adding 1; that is, for which x + 1 is
in A whenever x is in A. This definition uses a second-order language, in
which one can refer to sets of real numbers. The language of the elementary
theory of the real numbers, like the language of elementary arithmetic, only
allows us to refer to numbers, not to sets of numbers.
Gödel’s first major work in logic was his proof that first-order predicate
logic is complete. The statement of this theorem carries the unfortunate
suggestion that predicate logic is a complete formal system in the sense of
the incompleteness theorem, and comments such as the following are often
encountered:
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
there are infinitely many primes p such that p + 2 is also a prime, even
though this is undecidable in PA. To say that there are true statements
of the form “the Diophantine equation D(x1 , . . ., xn ) = 0 has no solution”
that are undecidable in PA is to make a purely mathematical statement,
not to introduce any philosophically problematic ideas about mathematical
truth. (This particular purely mathematical statement is also a mathe-
matical theorem, as will be explained in Chapter 3 in connection with the
Matiyasevich-Robinson-Davis-Putnam theorem.)
Similar remarks apply to the observations made earlier regarding con-
sistent systems and their solutions of problems. It was emphasized that
the mere fact of a consistent system S proving, for example, that there
are infinitely many twin primes by no means implies that the twin prime
hypothesis is true. Here again it is often thought that such an observation
involves dubious metaphysical ideas. But no metaphysics is involved, only
ordinary mathematics. We know that there are consistent theories extend-
ing PA that prove false mathematical statements—we know this because
this fact is itself a mathematical theorem—and so we have no mathematical
basis for concluding that the twin prime conjecture is true, which is to say,
that there are infinitely many twin primes, from the two premises “PA is
consistent” and “PA proves the twin prime hypothesis.”
Note that this use of “true” extends to the axioms of a theory. It is
sometimes thought, when “true” is used in some philosophical sense, that
the axioms of a theory cannot be described as true, since they constitute the
starting point that determines what is meant by “true” in later discourse.
All such philosophical ideas are irrelevant to the mathematical use of the
word “true” explained above, which will be adhered to throughout the book
when speaking of mathematical statements as true or false. For example,
that the axiom “for every n, n + 0 = n” in PA is true means only that for
every natural number n, n + 0 = n. In this case, indeed, we know that
the axiom is true. Why and how we know this—whether by stipulation, by
inspection, by intuition—is irrelevant to the meaning of the word “true” in
this usage.
In the preceding comments, it has been emphasized that, for example,
to say that Goldbach’s conjecture is true is the same as saying that every
even number greater than 2 is the sum of two primes, as “true” is used
in this book. Thus, the use of “true” is in such cases just a convenience,
freeing us from the need to repeat the formulation of the conjecture. But
“true” is also used in the discussion in other ways, as when it is said that
every theorem of PA is true. Here, we cannot eliminate the word “true”
i i
i i
i i
i i
Clearly, “true in that set of axioms” or “true within the system” does
not mean “provable from that set of axioms” or “provable in the system”
here, but since there is no notion of “true in a set of axioms” in logic, the
question arises what it does mean. One possible interpretation, on which
the above formulations become intelligible but incorrect, will be considered
in Chapter 7, in connection with the completeness theorem for first-order
logic. However, it also appears that in many cases when such phrases as
“true in the system” and “true within the set of axioms” are used, what
the author means by this is that users of the system are somehow able
to convince themselves of the truth of the statement, even though it is
not formally derivable. In such a case it is a relevant observation that
it may or may not be the case, depending on the system, that we know
of any particular statement that it is true but unprovable in the system.
In particular, we may or may not have any idea whether the undecidable
i i
i i
i i
i i
This unfortunate terminology does not of course imply that there are
theorems of S that are unprovable in S, for any system S. Large cardinal
axioms will be commented on in Chapter 8, which also gives a brief ex-
planation of the direction of Friedman’s work on the use of large cardinal
axioms.
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
Proving ConS
That a formal system S is inconsistent means that there are two proofs in
the system such that one proves A and the other proves not-A, for some
sentence A. Since the property of being the Gödel number of a proof in S
is required to be a computable one, it follows that “S is consistent” can be
formulated as a Goldbach-like statement: it is not the case that there are
numbers n and m such that n is the Gödel number of a proof in S of A and
m is the Gödel number of a proof in S of not-A, for the same statement
A. From this it follows that ConS , if false, can be shown to be false by a
computation, but if it is true it may or may not be provable using a given
set of mathematical methods and principles. The second incompleteness
theorem tells us that in fact ConS , if true, cannot be shown to be true
using only the methods and principles contained in the system S. But of
course ConS is provable in other formal systems, and it may or may not
be provable in a system that we find mathematically justifiable.
There is a common misconception concerning the second incompleteness
theorem, expressed for example in [Kadvany 89, p. 165], in the author’s
comments on supposed postmodernist implications of the incompleteness
theorem:
The second incompleteness theorem does not imply that the consistency
of a system S can only be proved in a stronger system than S, if by a
stronger system we mean a system that proves everything S proves and
more besides. It only implies that the consistency of S cannot be proved
in S itself. It would be strange indeed if the consistency of S could only
be proved in a stronger system, since to say that S is consistent is only
to say that S does not prove any contradiction—it may prove lots of false
statements and yet be consistent. So a proof that S is consistent is not
a proof that S is generally reliable as a source of arithmetical theorems,
and there is no reason why a consistency proof for S has to presuppose the
methods of reasoning of S itself. Thus, for example, the consistency of PA
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
This idea that Gödel’s theorem does not have an ordinary mathematical
proof seems to be based on a specific misunderstanding of Gödel’s original
proof of the first incompleteness theorem: the mistaken belief that Gödel’s
proof, which shows a certain arithmetical statement G depending on S to
be unprovable in S if S is consistent, also shows G to be true. This would
indeed make Gödel’s proof a remarkable one, but in fact the proof does not
show anything of the kind. All that Gödel’s proof shows is the implication
“if S is consistent, G is true.” If we can prove that S is consistent, which
we can sometimes do, we can also prove that G is true. If we have no idea
whether or not S is consistent, Gödel’s proof still goes through, but we
have no idea whether or not G is true. In either case, the question of the
truth or falsity of G cannot be decided on the basis only of Gödel’s proof.
In fact there is nothing any more informal or intuitive about the proof
of Gödel’s theorem than there is about mathematical proofs in general.
The incompleteness theorem has formal proofs in fairly weak mathematical
theories—PA is more than sufficient. Thus, applied to PA and stronger
theories, Gödel’s proof does not establish the truth of any mathematical
statement which is not provable in the theory itself.
Gödel’s Proof
Gödel’s original proof of the incompleteness theorem was not formulated
as a theorem about formal systems in general, for the reason that the
general theory of computability, and therewith the general concept of a
formal system, had yet to be formulated in 1930. Instead, Gödel proved
the theorem for a particular formal system which he called P. He listed
the properties of P used in the proof, and noted that these properties were
shared by a wide class of formal systems. In Part II of the paper, which
i i
i i
i i
i i
This oddly worded sentence says that the result of carrying out a certain
specific substitution operation has property P . If we carry out the opera-
tion specified, we find that it results in precisely the sentence itself. The
sentence therefore “says of itself that it has property P ,” in the sense that
it says that a sentence satisfying a certain description has property P , and
i i
i i
i i
i i
the sentence itself is the one and only sentence satisfying that description.
By showing that the substitution operation can be defined in arithmetical
terms as an operation on Gödel numbers, Gödel obtained a version A in
the language of arithmetic of the statement above, provably equivalent in
PA to “m has property P ,” where m is the Gödel number of A.
Other ways of formulating self-referential sentences using syntactic op-
erations have also been formulated later. For example, the American logi-
cian and philosopher W. V. O. Quine came up with a method known as
“quining”:
i i
i i
i i
i i
its own inconsistency, and thereby prove that every statement is provable
in S (and in particular, prove G false, since G is equivalent to the statement
that G is not provable in S). But we can observe that if S is consistent,
G is true (because not provable in S), and since G is also a Goldbach-like
sentence, it follows that not-G is not provable in S provided we assume that
S is Σ-sound, that is, does not disprove any true Goldbach-like sentences.
This yields a result that is a bit stronger than Gödel’s original version of
the first incompleteness theorem, since Gödel’s original assumption that S
is ω-consistent implies, but is stronger than, the assumption that S does
not disprove any true Goldbach-like sentences.
Rosser Sentences
Tarski’s Theorem
The fixpoint construction can be used to show that there is no way of defin-
ing in the language of arithmetic the property of being the Gödel number
of a true arithmetical sentence. For if this property could be defined in
arithmetic, a fixpoint A for the property of not being the Gödel number
of a true arithmetical sentence would have the property that A is a true
arithmetical sentence if and only if its Gödel number is not the Gödel num-
ber of a true arithmetical sentence. In other words, a form of the ancient
paradox of the Liar would be a consequence: we would have constructed
an arithmetical statement A that is true if and only if it is not true. The
result that the property of being a true arithmetical sentence cannot be de-
fined in the language of arithmetic is usually called Tarski’s theorem, but
i i
i i
i i
i i
in fact Gödel obtained this result as a step along the way in discovering
the incompleteness theorem.
Although the property of being a true arithmetical sentence thus can-
not be defined in arithmetic, the property of being a true Goldbach-like
sentence can be so defined, and similarly for other restricted categories
of arithmetical sentence. Thus, for example, we can define an arithmetical
sentence A that is true if and only if it is not a true Goldbach-like sentence.
This does not result in any paradox, since A is in fact not a Goldbach-like
sentence at all, and is therefore true.
Gödel himself observed that his proof of the incompleteness theorem is
related to the paradox of the Liar in the following sense. The Liar sentence
is a sentence L that “says of itself that it is not true.” Thus, given our
ordinary use of “true” it seems to follow that L is true if and only if it is
not true, a logical contradiction. Gödel’s proof uses a corresponding arith-
metical sentence in which “true” is replaced by “provable in S.” Whereas
the paradox of the Liar has given rise to endless debates over the meaning
of “true” and the question what is required for a sentence to express a
meaningful assertion, the Gödel sentence is an arithmetical sentence, one
that is as unproblematically meaningful as other arithmetical sentences of
a similar logical form (Goldbach-like statements).
Gödel’s original proof is by no means the only proof of the first incom-
pleteness theorem, and some other proofs will be briefly commented on at
a later point. But first some remarks about self-reference, which the reader
may well prefer to skip.
Self-Reference
Gödel’s proof of the first incompleteness theorem, and Rosser’s strength-
ened version, both make essential use of the fixpoint construction. It is
sometimes claimed that it is misleading to say that sentences obtained
through the fixpoint construction are “self-referential,” since (it is held) all
that can be said is that the equivalences
i i
i i
i i
i i
provable in S. But the sentences constructed in the proof that every arith-
metical property P has a provable fixpoint are self-referential in a stronger
sense: they are sentences A of the form
There is an m such that m has property P and property Q
where it is provable in PA that the only number that has property P is the
Gödel number of the sentence A itself. It is in this sense that the sentence
A “says of itself that it has property Q.” There are provable fixpoints
other than Gödel sentences for the property of not being provable in S,
for example (by the second incompleteness theorem) the sentence ConS
formalizing “S is consistent.” Since it is provable in S that ConS is true
if and only if it is not provable in S, ConS is in fact a fixpoint for the
property of not being provable in S. But ConS is not in any apparent
sense self-referential, and nobody would want to say that ConS “says of
itself that it not provable in S.”
This characterization of self-referential arithmetical statements doesn’t
tell the whole story. Let us consider a couple of varieties of ordinary self-
reference, in the sense of speakers referring to themselves, rather than sen-
tences referring to themselves. Suppose John says “John loves you.” This
may or may not be a case of self-reference, depending on the speaker’s in-
tention. He may be referring to himself in the third person the way George
Costanza does in Seinfeld, when observing that “George is getting angry,”
or he may be referring to another person named John. On the other hand,
if John says “Your husband loves you,” and is addressing his wife, his state-
ment is self-referential in a sense that is independent of his intentions. Even
if he is an amnesiac and makes the statement on the basis of what he has
learned about his wife’s husband, it is still self-referential in the sense that
John is the one and only husband of the person addressed, and therefore
the statement is true if and only if John loves his wife.
In the case of self-referential statements in the language of arithmetic,
there is of course no question of the sentence itself intending anything, but
we can locate two similar aspects of self-reference. The use of substitution
operations or something similar corresponds to the second example of self-
reference above, while the first example corresponds to the conventional
choice of Gödel numbering. Suppose we formulate a statement A
0 has property Q
and then introduce a Gödel numbering in which the Gödel number of A
is 0. There is no problem about introducing such a Gödel numbering, since
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
proved is weaker than that in Gödel’s theorem with regard to the logical
complexity of the statement shown to be undecidable. It is not a Goldbach-
like statement, and in particular the argument does not establish the truth
of the second incompleteness theorem.
Gödel’s proof of the second incompleteness theorem in his 1931 paper con-
sisted mostly of handwaving—in other words, sketching an argument with-
out carrying it out in detail. The argument was simple: the proof of the
first incompleteness theorem established that if the system P is consistent,
G is not provable in P, and therefore true. If we examine this argument, we
see that it only uses mathematical reasoning of a kind that can be carried
out within P, and therefore it follows that the implication “if P is consistent
then G” is provable in P. But then, if P is consistent, it follows that “P is
consistent” is not provable in P, since G is not provable in P.
We can strengthen this conclusion: not only “if P is consistent then G”
is provable in P, but also “if G then P is consistent.” For G is equivalent in
P to “G is not a theorem of P,” and every theory in which some statement
is not provable is consistent, a fact which is also provable in P. Thus, G
and “P is consistent” are in fact equivalent in P.
As in the case of the first incompleteness theorem, it was clear from
Gödel’s presentation that the argument extended to a wide class of for-
mal systems incorporating “a certain amount of arithmetic,” although the
“certain amount” is not the same “certain amount” as in the first incom-
pleteness theorem. Gödel’s proof of the second incompleteness theorem
for a formal system S depends on the proof of “if S is consistent, G is
unprovable in S” being formalizable in S itself. A formal system needs to
incorporate a larger amount of arithmetic in order for the proof of the first
incompleteness theorem to be formalizable in the system than it needs for
the proof of the first incompleteness theorem to apply to the system. Thus,
we can specify formal systems such as Robinson Arithmetic, presented in
the Appendix, to which the first incompleteness theorem applies, but not
the second. Note that this does not mean that Robinson arithmetic proves
its own consistency, but only that we cannot use the second incomplete-
ness theorem, as formulated here, to show that it does not prove its own
consistency. (Formulations of arithmetical theories that do prove their own
consistency exist in the logical literature—these theories are in one way or
another very weak, for example, in not assuming that every natural number
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
so on. The interest of this branch of the tree lies in the fact that it yields
an extension of PA by an infinite number of true statements not provable
in PA.
A comment is in order regarding a somewhat technical topic that will
be considered further in Chapter 7. A mathematical structure in which the
axioms of PA + not-“PA is consistent” are true is of a kind known as a
nonstandard model of arithmetic: it contains, in addition to the “standard”
natural number 0, 1, 2,... also “infinite elements,” which are not natural
numbers. Such structures do have mathematical interest, but this does not
imply that we need to introduce theories with false arithmetical axioms in
order to obtain such structures.
How do we know that all of the consistency statements generated in
the way described are true? It is sometimes thought that we must here
invoke some form of intuitive insight of a dubious nature and claim that
we can “see” that the theories are consistent. In fact, it is provable in
perfectly ordinary mathematics that these consistency statements are true,
as a consequence of PA being a sound theory, or in other words, a theory
all of whose axioms are true. Thus, there is no special “seeing” involved,
other than the kind of “seeing” the truth of arithmetical statements that
is involved in mathematical proofs of arithmetical statements in general.
Now, it is of course open to anybody to put this proof into question, and
take a skeptical view of the theorem that PA, PA1 , and the other theories
are consistent. In this, the theorem is no different from other mathematical
theorems of a comparable degree of abstraction. For example, we might
take a skeptical view of Wiles’ proof of Fermat’s last theorem, and argue
that we don’t really know that the theorem is true on the basis of that
proof. But such skepticism, whether or not it has anything to recommend
it, is no more a matter of concern in connection with consistency proofs
than it is in other mathematical contexts.
Suppose we replace PA in the construction described with ZFC. It is
then no longer the case that the consistency of all the theories in the tree is
provable in perfectly ordinary mathematics. (The only known proofs of the
consistency of ZFC use set-theoretical axioms that are not part of ordinary
mathematics.) But we still don’t get any “branching” of arithmetic into
different directions. The theory obtained by adding “ZFC is inconsistent”
to ZFC is indeed consistent, given that ZFC is consistent, but it is of no
apparent mathematical interest and has no application.
We can look for other examples, where we simply don’t know whether
the undecidable statements that are introduced are true or not. Using the
i i
i i
i i
i i
i i
i i
i i
i i
This argument is invalid because based on the mistaken idea that “Gödel’s
theorem states that in any consistent system which is strong enough to pro-
duce simple arithmetic there are formulas which cannot be proved in the
system, but which we can see to be true.” The theorem states no such
thing. As has been emphasized, in general we simply have no idea whether
or not the Gödel sentence of a system is true, even in those cases when it
is in fact true. What we know is that the Gödel sentence is true if and
only if the system is consistent, and this much is provable in the system
itself. When we know that the system is consistent, we also know that
its Gödel sentence is true, but in general we don’t know whether or not
a formal system is consistent. If the human mind did have the ability to
determine the consistency of any consistent formal system, this would cer-
tainly mean that the human mind surpasses any computer, but there is no
reason whatever to believe this to be the case.
Given that we cannot conclude from the incompleteness theorem that
the human mind surpasses any computer (or equivalently, any formal sys-
tem) as far as arithmetic is concerned, we might attempt to draw the weaker
conclusion that “no machine will be an adequate model of the mind” in
the sense that no machine, although it may perhaps surpass the human
mind in arithmetic, can ever be exactly equivalent to the human mind as
far as arithmetical ability is concerned. But this too fails to follow from the
incompleteness theorem. Let us assume (a large assumption) that there is
such a thing as “human arithmetical ability,” and go on to suppose that a
particular formal system S exactly embodies that ability. If we know S to
be consistent, we will indeed have a conflict with the incompleteness theo-
rem. But again what is missing is an argument for why we should know S
to be consistent. Lucas [Lucas 61] here introduces the irrelevant reflection:
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
3
Computability, Formal Systems,
and Incompleteness
59
i i
i i
i i
i i
9)#lklK0+==FDBk2++?%
∼(Ex)(y)(yEx iff ∼yEy)
9023949999393020011109
i i
i i
i i
i i
1010001001101010101000011111000000010001101110
0111110100000010000110100100100011110010110111.
Using strings to denote natural numbers is familiar to us because we
have to use strings to denote numbers in order to write down numerical
information and when adding and multiplying numbers on paper. The idea
of giving arbitrary strings “names” that are natural numbers is less familiar
from everyday contexts, but arises naturally in the context of logic and the
theory of computability.
It was claimed that not only the theorems and other sentences of a
formal language, but also the proofs in a formal system can be taken to
be strings of symbols. Since proofs are sequences of sentences, this means
that we need to be able to represent such sequences too as strings. The
easy way of doing this is to choose a symbol that does not occur in any
sentence of the language, say £, and use it in strings to separate sentences.
Thus for example, the sequence consisting of the sentences “aishiteru no,”
“suki da yo,” “baka da yo” will be represented as the string
aishiteru no£suki da yo£baka da yo.
But what if any symbol can occur in a sentence? It is still possible to
represent any sequence of strings as a string, but it is only in Chapter 8
that we will need to consider how to do this.
i i
i i
i i
i i
i i
i i
i i
i i
E,” do we allow repetitions in the output of the program, so that the same
member of E may be printed more than once? In fact every infinite set that
can be computably enumerated with repetitions can also be computably
enumerated without repetitions, and we therefore allow repetitions in the
output of the computer, as long as every member of E eventually appears
among the strings generated. A more subtle question is what happens
if E is finite—does the computer halt when all members of E have been
generated, or does the computation continue ad infinitum, even though no
new strings will appear in the output? For reasons that are not immediately
apparent, in speaking of a computable enumeration of a finite set E, we
will in fact allow that a computer programmed to compute and print out
the members of E continues this activity forever, and thus either prints out
at least one string infinitely many times, or else just whirs silently away
doing nothing after producing all of the strings in the set.
The definition of “computably enumerable set” was formulated in terms
of sets of strings, but we can also apply it to sets of natural numbers. A
set of natural numbers is computably enumerable if and only if the set
of corresponding numerical strings is computably enumerable. Similarly,
the definition carries over to sets of any mathematical objects that can
be represented by strings. For example, every positive rational number
has a unique representation as a string m/n where m and n are numerical
strings such that the corresponding natural numbers have no common di-
visor greater than 1, which allows us to speak of computably enumerable
sets of positive rational numbers.
It was Alan Turing who, in 1936, introduced a theoretical model of
a general-purpose digital computer with unlimited working memory (the
universal Turing machine) and made it plausible that everything that can
be mechanically computed can be computed by such a machine. Today,
Turing computability is one of several equivalent definitions of computabil-
ity used in logic and mathematics, and we are used to thinking of ordinary
computers as physical realizations of the universal Turing machine, except
that actual computers have limited memory. In a mathematical treatment
of the theory of computability, the Turing machine or some other model
of computation is used to give formal definitions of the basic concepts of
the theory. In this book we will make do with informal definitions of these
basic concepts, which still allow us to understand and appreciate several
important results of the theory. All we need to know about the workings
of a computer is that executing a program can be described as consisting
in a series of steps, so that it is possible to carry out a certain number of
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
A Gödel Numbering
Let us first observe that the procedure described for generating the numer-
ical strings can be modified so as to generate all strings. We first generate
the strings consisting of only one symbol (there are only finitely many of
these), and then systematically generate, in lexicographic order, the strings
consisting of two symbols (again, there are only finitely many), and so on.
Thus suppose our symbols are the symbols in positions 32–126 in the
ASCII table. These symbols, in alphabetical order, are space, !, “, #, $, %,
&, ‘, (, ), *, +, comma, -, period, /, the digits 0–9, :, ;, <, =, >, ?, @, the
letters A–Z, [, \, ], ˆ, , ‘, the letters a–z, |, }, ∼. In generating all strings we
start by generating the 95 one-symbol strings, then the 95×95 = 9025 two-
symbol strings in lexicographic order (the first being the string consisting
of two occurrences of space), and so on.
This also gives us an example of a Gödel numbering, a way of repre-
senting arbitrary strings, not just numerical ones, by numbers. We simply
associate every string with its position in the enumeration of all strings.
Thus the 95 one-symbol strings are given Gödel numbers 1–95, and the
following 9025 two-symbol strings will have Gödel numbers 96–9120. The
number 0 is assigned to the empty string, like the empty set a convenient
mathematical construct, which contains no symbols at all.
This Gödel numbering is only one of infinitely many ways of representing
arbitrary strings by numbers. It satisfies two essential conditions. First,
given a string we can mechanically compute its Gödel number, by simply
generating strings and counting them until we come to the string whose
Gödel number we seek. Second, given a number, we can decide by a similar
computation whether it is the Gödel number of a string—which in this
particular numbering is true of every number—and if so which one. As
a consequence, a set of strings is computably enumerable or decidable if
and only if the set of Gödel numbers of strings in the set is computably
enumerable or decidable.
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
P 0 , P1 , P2 , . . .
i i
i i
i i
i i
Emil Post, who did pioneering work in the theory of computably enumer-
able sets, came up with a category of computably enumerable sets which are
in a sense extremely undecidable. A simple set is a computably enumerable
set A of natural numbers such that the complement of A, although infinite,
has no infinite computably enumerable subset. Thus, although there are
infinitely many numbers not in A, it is not possible for any mechanical
procedure to generate more than finitely many of them. The set K defined
in Turing’s proof is not simple, for we can easily construct infinitely many
programs that do not terminate for any input.
That there are simple sets is not obvious. Post showed how to define
a simple set using an enumeration of the computably enumerable sets. In
Chapter 8, a specific example of a simple set, which was found some 20
years later, will be defined, the set of compressible strings.
Number ten on the list of 23 problems put forward by David Hilbert in the
year 1900 was the problem of finding an algorithm for deciding whether or
not a Diophantine equation (see Section 2.1) has any solution. In 1970 it
was established, as a consequence of what is known as the Matiyasevich-
Robinson-Davis-Putnam (MRDP) theorem, that there is no such algorithm.
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
Let us look at the above argument from a different point of view. Given
that S is Σ-sound, it follows that a Diophantine equation D(x1 , . . ., xn ) =
0 has at least one solution if and only if S proves the statement “The
Diophantine equation D(x1 , . . ., xn ) = 0 has at least one solution.” The
set of theorems of S therefore cannot be decidable, since otherwise there
would be an algorithm for deciding whether or not a Diophantine equation
has a solution—just check whether the corresponding statement is provable
in S.
It follows in particular that PA, and every Σ-sound theory that contains
PA as a part, which we call an extension of PA, is undecidable. By a variant
of this argument, it can be shown that in fact every consistent extension
of PA is undecidable. We say that PA is essentially undecidable.
To prove a theory T undecidable is another way of proving that it is
incomplete, since, as has been noted, a complete formal system is decidable.
Suppose T is essentially undecidable, and let A be a sentence undecidable
in T . We can now observe (assuming T to incorporate the logic of “not”
and “or”) that the set M of theorems of T = T + A that are not theorems
of T is not computably enumerable. For given any sentence B, the sentence
“A or B” (which is a theorem of T ) is a member of M if and only if “A or
B” is not a theorem of T , which is to say if and only if B is not a theorem
of T + not-A. So if M is effectively enumerable, the set of non-theorems of
T + not-A is effectively enumerable, implying that T + not-A is decidable,
which is inconsistent with our two assumptions that A is undecidable in T
and that every consistent extension of T is undecidable.
The argument in the preceding paragraph concerned the richness of the
set of new theorems provable in T +A but not in T . Essential undecidability
has a further consequence, concerning theorems of T + A that are also
theorems of T , which although easily established is by no means obvious.
i i
i i
i i
i i
i i
i i
i i
i i
4
Incompleteness Everywhere
• Religious people claim that all answers are found in the Bible or in
whatever text they use. That means the Bible is a complete system,
so Gödel seems to indicate it cannot be true. And the same may be
said of any religion which claims, as they all do, a final set of answers.
77
i i
i i
i i
i i
78 4. Incompleteness Everywhere
i i
i i
i i
i i
We can view rules for living, whether they are cultural mores
of the sort encoded in maxims, or laws, principles, and policies
meant to dictate acceptable actions and procedures, as axioms
in a logical system. Candidate actions can be thought of as
propositions. A proposition is proved if the action it corre-
sponds to can be shown to be allowed or legal or admissible
within the system of rules; it is disproved if it can be shown
to be forbidden, illegal, or inadmissible. In the light of Gödel’s
theorem, does it not seem likely that any system of laws must
be either inconsistent or incomplete?
To say that we “can view” rules for living and so on as axioms in a logical
system is unexceptionable since anything, broadly speaking, can be viewed
as anything else. Furthermore, in the case of viewing a lot of things as
“systems” with “axioms” and “theorems,” it is demonstrably the case that
many people find it natural and satisfying to view things this way. It is a
i i
i i
i i
i i
80 4. Incompleteness Everywhere
i i
i i
i i
i i
i i
i i
i i
i i
82 4. Incompleteness Everywhere
i i
i i
i i
i i
about the human mind, it is perfectly conceivable that such an event could
take place. Indeed, we know nothing to rule out the possibility that the
accepted mathematical norm will in the future be such that even Bishop’s
constructive mathematics is regarded as partly unjustifiable. It is equally
conceivable that people can convince themselves, in one way or another, of
the acceptability of extremely nonconstructive principles that are today not
considered evident by anybody. In this sense, then, there may be no limit
at all on the “capacity of the human mind” for proving theorems, but of
course there is nothing to exclude the possibility that false statements will
be regarded as proved because principles that are not in fact arithmetically
sound will come to be regarded as evident.
The question of the actual or potential reach of the human mind when
it comes to proving theorems in arithmetic is not like the question how
high it is possible for humans to jump, or how many hot dogs a human can
eat in five minutes, or how many decimals of π it is possible for a human
to memorize, or how far into space humanity can travel. It is more like
the question how many hot dogs a human can eat in five minutes without
making a totally disgusting spectacle of himself, a question that will be
answered differently at different times, in different societies, by different
people. We simply don’t have the necessary tools to be able to sensibly
pose large theoretical questions about what can be proved by “the human
mind.” This point will be considered again in Chapter 6, in connection
with Gödelian arguments in the philosophy of mind.
There is yet another approach to the application of the incomplete-
ness theorem to human thought, which does not seek undecidable state-
ments either in ordinary informal reasoning or in mathematics, but sug-
gests that Gödel’s proof of the first incompleteness theorem can be carried
through in nonmathematical contexts. This suggestion will be considered
next.
i i
i i
i i
i i
84 4. Incompleteness Everywhere
Nonmathematical
So why not, instead of seeking to apply the incompleteness theorem to
nonmathematical systems, just mimic Gödel’s proof of the theorem by for-
mulating a “Gödel sentence” for such systems? Thus, we might come up
with the following:
i i
i i
i i
i i
i i
i i
i i
i i
86 4. Incompleteness Everywhere
i i
i i
i i
i i
i i
i i
i i
i i
88 4. Incompleteness Everywhere
Here the connection with the actual content of the incompleteness the-
orem is tenuous in the extreme: “Since scientific theories are built upon
mathematical system, incompleteness must be inherited in all our scientific
knowledge as well.” This doesn’t follow, since nothing in the incomplete-
ness theorem excludes the possibility of our producing a complete theory
of stars, ghosts, and cats all rolled into one, as long as what we say about
stars, ghosts, and cats cannot be interpreted as statements about the natu-
ral numbers. That science cannot be expected to disclose to us everything
about beauty and ugliness, intuition and inspiration, and so on, is a rea-
sonable view which neither needs nor is supported by Gödel’s theorem.
Stephen Hawking, in a talk entitled “Gödel and the End of Physics,”
also mentions Gödel’s theorem:
Solomon Feferman in a letter to the New York Review of Books (July 15, 2004).
i i
i i
i i
i i
i i
i i
i i
i i
90 4. Incompleteness Everywhere
solution. Thus, he could set people to work on the problem and confidently
predict, on the basis of arithmetical reasoning, the eventual outcome (their
giving up).
Do such examples show that arithmetical incompleteness can entail an
incompleteness in our description of the physical world? Not really. Sup-
pose the Diophantine equation D(x1 , . . ., xn ) = 0 has no solution, but this
fact is not provable in our mathematics. We then have no basis for a predic-
tion of the outcome of any physical experiment describable as “searching
for a solution of the equation D(x1 , . . ., xn ) = 0.” (Such an experiment
might consist in people rearranging wooden blocks or doing pen-and-paper
calculations, or it might consist in having a computer execute a program.)
This does not, however, indicate any incompleteness in our description of
the physical systems involved. Our predictions of the outcome of physi-
cal experiments using arithmetic are based on the premise that arithmetic
provides a good model for the behavior of certain actual physical systems
with regard to certain observable properties (which in particular implies
that physical objects like blocks of wood have a certain stability over time,
that there are no macroscopic tunneling effects that render arithmetic in-
applicable, that eggs do not spontaneously come into existence in baskets,
and so on). The relevant description of the physical world amounts to
the assumption that this premise is correct. The role of the arithmetical
statement is as a premise in the application of this description to arrive at
conclusions about physical systems.
i i
i i
i i
i i
i i
i i
i i
i i
92 4. Incompleteness Everywhere
i i
i i
i i
i i
i i
i i
i i
i i
94 4. Incompleteness Everywhere
i i
i i
i i
i i
i i
i i
i i
i i
5
Skepticism and Confidence
97
i i
i i
i i
i i
to Gödel about it, Gödel had himself already made the same discovery and
included it in his recently accepted 1931 paper.
Central to this proof of the second incompleteness theorem is the notion
of an ordinary mathematical proof being formalizable in a certain formal
system. This means that for every step in the proof there is a corresponding
series of applications of formal rules of inference in the system, so that the
conclusion of the proof, when expressed in the language of the system, is
also a theorem of the system. At the time of Gödel’s proof, this notion was
familiar to logicians and philosophers of mathematics through the work
of Gottlob Frege, Russell and Whitehead, Hilbert, and others, so Gödel
could take it for granted in arguing that the proof of the first half of the
incompleteness theorem for P—“if P is consistent then G is not provable
in P”—was formalizable in P itself.
In fact, Gödel only sketched the proof of the second incompleteness
theorem in his paper. To prove the second (as opposed to the first) incom-
pleteness theorem for a formal system S, we definitely need to arithmetize
the syntax of S, and reason about S in S itself, since this is required to
even express “S is consistent” in the language of S. This arithmetiza-
tion was carried out in detail in Gödel’s paper, but we then need to verify
that the proof of the implication “if S is consistent then G is unprovable
in S” is indeed formalizable in S. In his paper, Gödel only presented
this as a plausible claim, noting that the proof of the first incompleteness
theorem only used elementary arithmetical reasoning of a kind formaliz-
able in the system P for which he carried out his proof. In the planned
follow-up to his paper, he intended to give a full proof of the second in-
completeness theorem. Part II of the paper never appeared, for the in-
formal argument Gödel gave was in fact quite convincing to his readers,
and furthermore, in 1939, in the two-volume work Grundlagen der Mathe-
matik (Foundations of Mathematics) by Paul Bernays and David Hilbert,
a detailed proof was given. At that point, the general concept of a for-
mal system had been clarified through the work of Turing and Church,
yielding the general formulation of the incompleteness theorem that we
know today.
For the proof of the second incompleteness theorem, what was needed
was to show that the implication “if ConS then G” is provable in S. The
converse implication, “if G then ConS ,” is much more easily shown to be
provable in S. All that is needed is to formalize in S the argument that
G implies that G is not provable in S, and so it also implies that S is
consistent, since everything is provable in an inconsistent system. Thus, G
i i
i i
i i
i i
i i
i i
i i
i i
This does not mean that every theorem in the arithmetical component of
ZFC is provable in PA + ConZFC . Suppose, for example, that the formal-
ization A in the language of ZFC of the twin prime conjecture (a certain
statement about finite sets, which we know to be true if and only if the
twin prime conjecture is true) is provable in ZFC. Its translation A is then
provable in PA + ConZFC . There is no guarantee, however, that A is
provably equivalent in PA to the twin prime conjecture itself. The transla-
tion A does not preserve the arithmetical meaning of A. Indeed, there are
statements A in the arithmetical component of ZFC such that A is true
but A false (such A are undecidable in ZFC). However, if A is a Goldbach-
like statement in the arithmetical component of ZFC, not only A , but the
arithmetical statement whose meaning A captures, is provable in PA +
ConZFC .
The proof of the second incompleteness theorem in the Grundlagen did
not answer every question about how to formulate and prove the theorem in
complete generality, and it was only in 1960 that Solomon Feferman cleared
up the remaining areas of uncertainty (in his paper “Arithmetization of
Metamathematics in a General Setting”). However, in the case of the
theories actually used and studied in logic and mathematics, like PA or
ZFC, it has been clear since the 1930s how to formulate and prove the
second incompleteness theorem.
Gödel’s original proof of the second incompleteness theorem is still the
most important, in terms of the insight it gives into the theorem and its
range of application, but there are several other proofs of the theorem
for specific theories, again typically PA and ZFC, in the logical literature.
These other proofs, however, are highly technical.
Some Consequences
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
5.2 Skepticism
The incompleteness theorem is often thought to support some form of skep-
ticism with regard to mathematics. It is argued either that we cannot,
strictly speaking, prove anything in mathematics or that the consistency
of theories like PA or ZF is shown to be doubtful by the theorem.
In many cases no explanation is given of how the skeptical conclusion is
supposed to follow. Thus, the Encyclopedia Britannica says mysteriously
of Gödel’s proof that it
i i
i i
i i
i i
i i
i i
i i
i i
Nothing in Gödel’s theorem in any way contradicts the view that there
is no doubt whatever about the consistency of any of the formal sys-
tems that we use in mathematics. Indeed, nothing in Gödel’s theorem
is in any way incompatible with the claim that we have absolutely certain
knowledge of the truth of the axioms of these systems, and therewith of
their consistency.
In considering this point, we need to distinguish between two things:
what degree of skepticism or confidence regarding mathematical axioms or
methods of reasoning is justifiable or reasonable, and what bearing Gödel’s
theorem has on the matter. Perhaps we take a dim view of the claim that
we know with absolute certainty the truth of, say, the axioms of ZFC, but
how can we use Gödel’s theorem to criticize this claim? Can we direct at
the claim the telling criticism that if we know with absolute certainty that
the axioms of ZFC are true, then the consistency of ZFC must be provable
in ZFC itself? No, because this is not a telling criticism at all. Why
should there be a proof of the consistency of ZFC in ZFC just because
we know with absolute certainty that the axioms of ZFC are true (and
hence consistent)? Obviously, we cannot prove everything in mathematics.
We don’t need Gödel’s theorem to tell us that we must adopt some basic
principles without proof. And given that the axioms of ZFC are so utterly
compelling, so obviously true in the world of sets, we can do no better than
adopt these axioms as our starting point. Since the axioms are true, they
are also consistent.
Again, the point at issue is not whether such a view of the axioms of ZFC
is justified, but whether it makes good sense to appeal to the incompleteness
theorem in criticism of it. If the axioms of ZFC are manifestly true, they
are obviously consistent, although there is no reason to expect a consistency
proof for ZFC in ZFC.
From the point of view of a skeptic about the consistency of ZFC, it
is on closer inspection also unclear what is supposed to be the relevance
of the second incompleteness theorem. What would be the interest of a
consistency proof for ZFC given in ZFC? Since the consistency of ZFC is
precisely what is in question, there is no reason to expect such a proof to
carry any weight.
So if we have no doubts about the consistency of ZFC, there is nothing
in the second incompleteness theorem to give rise to any such doubts. And
if we do have doubts about the consistency of ZFC, we have no reason
i i
i i
i i
i i
Hilbert had the idea of proving the consistency of strong theories like ZFC
on the basis of very weak mathematical assumptions and finitistic rea-
soning, without assuming the existence of infinite sets and making only
restricted use of logical principles. The second incompleteness theorem
does indeed establish that we cannot prove the consistency even of PA us-
ing only the kind of reasoning that Hilbert had in mind. So if we take
the view that only finitistic reasoning in Hilbert’s sense embodies “safe
logical principles” and is not open to doubt as regards its consistency, or
that only finitistic proofs are really proofs, we will indeed conclude that
the consistency of even elementary arithmetic cannot be proved by safe
logical principles, and so on. But such a view is in no way a conclu-
sion from Gödel’s theorem. It is a particular doctrine in the philosophy
of mathematics that one brings to Gödel’s theorem. Those who do not
believe that only finitistic reasoning is unproblematically correct or mean-
ingful can accept with equanimity that there is no finitistic consistency
proof for PA and observe that the consistency of PA is easily provable by
other means.
It should also be noted that from a less narrow viewpoint than that
of finitism, consistency is only a weak soundness condition. That S is
consistent does not, as we know from the second incompleteness theorem
itself, rule out that S proves false theorems. For example, PA + not-ConPA
is consistent but falsely proves the inconsistency of PA (and thus of itself).
If we wish to justify our theories, a mere consistency proof will not take
us far.
Not only philosophers, but also mathematicians, not infrequently seem
to get carried away by the philosophical legacy of Hilbert and the decades
of rhetoric surrounding the incompleteness theorem and, without explicitly
endorsing any finitistic doctrines, attach a large significance to the impos-
sibility of giving a finitistic consistency proof for PA. A consistency proof,
they say, can only be a relative consistency proof, showing, for example,
that if ZFC is consistent, then PA is consistent. We need next to take a
closer look at the idea that consistency proofs are somehow not just ordi-
nary mathematical proofs, or that consistency statements cannot be proved
in the sense that other mathematical statements can be proved.
i i
i i
i i
i i
i i
i i
i i
i i
Proving PA Sound
where PA1 is obtained by adding the axiom “PA is consistent” to PA, PA2
adds the axiom “PA1 is consistent” to PA1 , and so on.
We say that a theory T is arithmetically sound if every arithmetical
theorem of T is true. An arithmetically sound theory is consistent, since
an inconsistent theory proves the false arithmetical statement 0 = 1. Fur-
thermore, if T is arithmetically sound, the theory T + “T is consistent” is
also arithmetically sound. Given that PA is arithmetically sound, we find
i i
i i
i i
i i
that all of the theories in the above sequence are sound, and hence consis-
tent. And, in fact, very much longer sequences of theories can be shown to
be consistent by the same reasoning. (For some hints about what can be
meant by “longer sequences” here, see Section 5.4.)
Note that the knowledge that PA is consistent is not enough to justify
the consistency of the theories in the sequence after the first, since we know
from the incompleteness theorem that there are consistent theories that
prove their own inconsistency. Thus, for example, the theory T obtained
by adding to PA the axiom “PA is inconsistent” is consistent, but if we add
to T the axiom “T is consistent” we get an inconsistent theory.
So to prove the theories in the sequence to be consistent, it is enough
to prove that PA is arithmetically sound. What does this involve? Well,
we need to define “true arithmetical sentence,” then we need to show that
the axioms of PA are all true arithmetical sentences and that the rules of
reasoning of PA lead from true premises to true conclusions. Inevitably,
this involves some logical and mathematical formalities, and so falls outside
the treatment in this book. We will note the following aspects of the proof.
First, recall that the concept of “true arithmetical sentence” is not
defined relative to any formal system. Instead, as explained in Section 2.4,
what we get from a mathematical definition of the concept of truth for
arithmetical sentences is simply that Goldbach’s conjecture is true if and
only if every even number greater than 2 is the sum of two primes, and
similarly for other arithmetical sentences.
Second, the proof that the axioms of PA are true and the rules of
reasoning of PA lead from true statements to true statements uses just
the same axioms and rules of reasoning as those embodied in PA, plus
a little bit of set theory or some mathematics at a comparable degree of
abstraction. The proof is sometimes said to be carried out in ZFC, but
logically speaking this is enormous overkill. Only a very much weaker set
theory is needed to carry out the proof, specifically a fragment of ZFC
known as ACA. Although mathematicians in general have no reason to
be at all familiar with the formulation of ACA, the methods of reasoning
formalized in ACA are commonly used in mathematics.
So what we have here is a mathematical proof, formalizable in the weak
set theory ACA, that all the theories in the sequence PA, PA1 ,... are
consistent. In particular, we have a mathematical proof, using ordinary
mathematical principles, that PA is consistent.
A common objection to this description of what has been achieved is
that the proof is really no proof of consistency, for ACA is logically stronger
i i
i i
i i
i i
than all of the theories in the sequence, and if we have doubts about the
consistency of PA or any of the other theories in the sequence, these doubts
will extend to the consistency of ACA. So all we can say that the proof
shows is the consistency of the theories in the sequence assuming the con-
sistency of ACA. In other words, the proof shows that if ACA is consistent,
then PA and the other theories in the sequence are consistent.
This whole line of thought is predicated on the assumption that we
have doubts about the consistency of PA and are trying to allay those
doubts by means of a consistency proof. But when we regard the axioms
and principles formalized in PA and ACA as straightforwardly part of our
mathematical knowledge, the soundness proof for PA (and the other theo-
ries in the sequence) is not intended to allay any doubts at all. It is quite
simply an essentially trivial proof of a basic result in logic.
There is, therefore, no basis in Gödel’s theorem for the idea that a con-
sistency proof—in this case for PA and the other theories in the sequence—
is not a proof in exactly the same sense as any other mathematical proof
is a proof. Every mathematical proof is based on certain basic axioms
and rules of reasoning. A consistency proof such as the one sketched by
no means yields a justification of the axioms and rules of reasoning for-
malized in PA. It is just a proof of an arithmetical statement, a proof
which establishes the statement as true in the same way and in the same
sense of “establish” as do other proofs of arithmetical statements using
those same axioms and rules of reasoning. In regarding the proof as es-
tablishing the consistency of PA, we are of course drawing on our con-
fidence in the mathematical axioms and rules of reasoning formalized in
ACA—not just confidence in their consistency, but in their mathemat-
ical correctness (which might mean, in this context, their arithmetical
soundness).
Those who do not regard PA and ACA as straightforwardly formalizing
a part of our mathematical knowledge may, of course, have every reason to
doubt any and all results proved in ACA, including the consistency proof
for PA. So let us take a closer look at this skeptical perspective.
i i
i i
i i
i i
i i
i i
i i
i i
5.4 Inexhaustibility
Suppose we are not skeptically inclined, but rather accept some formal
system to which the incompleteness theorem applies, say PA or ZFC, as
unproblematically formalizing part of our mathematical knowledge. What
are then the consequences of the second incompleteness theorem?
On this, Gödel commented (Collected Works, vol. III, p. 309, italics in
the original):
i i
i i
i i
i i
the following assertion about it: All of these axioms and rules I
perceive (with mathematical certitude) to be correct, and more-
over I believe that they contain all of mathematics. If somebody
makes such a statement he contradicts himself. For if he per-
ceives the axioms under consideration to be correct, he also
perceives (with the same certainty) that they are consistent.
Hence he has a mathematical insight not derivable from his
axioms.
Thus in this case the second incompleteness theorem has the positive
consequence that we can always extend any formal system that we recognize
as sound (in the sense that its axioms are all true statements) to a stronger
system that we also recognize as sound, by adding as a new axiom the
statement that the original system is consistent.
This means that we immediately come up with an infinity of extensions
of our starting theory T , as was illustrated previously for the case T = PA.
Each of the theories PAi in the sequence PA, PA1 , PA2 ,... is obtained by
adding as a new axiom that the preceding theory is consistent. Given that
PA is sound, all of the theories in this sequence are also sound. But we
can say more, for if we form the theory PAω whose axioms are those of PA
together with all of the consistency statements obtained in this way, Pω is
also sound. And the procedure can be continued, for we can now extend
PAω , which is still subject to the incompleteness theorem, to a stronger
theory PAω+1 by adding “PAω is consistent” as a new axiom.
What happens when this process is continued? Whenever we manage
to define a theory like PAω , which is demonstrably sound, given that PA
is sound, we will also be able to extend it to a stronger theory that is
still sound. But then the question arises just when we can prove that a
particular theory obtained in this way is in fact sound. The subject quickly
becomes technical.
In the sequence of theories presented, each theory was obtained from
the preceding one by adding as an axiom that the preceding theory is con-
sistent. Gödel’s remarks apply equally to theories obtained by adding to
a theory T as a new axiom a stronger statement than “T is consistent,”
which still follows from the arithmetical soundness of T . For example, if
every arithmetical theorem of T is true, the same is true for the theory
obtained by adding to T the axiom “T is Σ-sound,” or in other words, “ev-
ery Goldbach-like statement disprovable in T is false.” As in the sequence
of extensions by consistency statements, we get a sequence of sound ex-
i i
i i
i i
i i
i i
i i
i i
i i
6
Gödel, Minds, and Computers
115
i i
i i
i i
i i
2. Gödel asks for the program and the circuit design of the
UTM. The program may be complicated, but it can only
be finitely long. Call the program P(UTM) for Program
of the Universal Truth Machine.
3. Smiling a little, Gödel writes out the following sentence:
“The machine constructed on the basis of the program
P(UTM) will never say that this sentence is true.” Call
this sentence G for Gödel. Note that G is equivalent to
“UTM will never say G is true.”
4. Now Gödel laughs his high laugh and asks UTM whether
G is true or not.
5. If UTM says G is true, then “UTM will never say G is
true” is false. If “UTM will never say G is true” is false,
then G is false (since G = “UTM will never say G is true”).
So if UTM says G is true, then G is in fact false, and UTM
has made a false statement. So UTM will never say that
G is true, since UTM makes only true statements.
6. We have established that UTM will never say G is true. So
“UTM will never say G is true” is in fact a true statement.
So G is true (since G = “UTM will never say G is true”).
7. “I know a truth that UTM can never utter,” Gödel says.
“I know that G is true. UTM is not truly universal.”
Suppose UTM is in fact a machine that always tells the truth, so that
the final exchange can never take place. Gödel still hasn’t demonstrated
that he knows any truth that UTM can never utter. What he knows is only
the implication “if UTM always tells the truth, then G is true.” But this
implication can be uttered by UTM as well. It is only if Gödel has somehow
acquired the knowledge that UTM always tells the truth that he knows the
truth of G. Being told that UTM is “supposed to be” a universal truth
machine does not amount to knowing that UTM always tells the truth.
i i
i i
i i
i i
The argument put forward in [Lucas 61] to show that for any consistent
formal system S, there is a true statement that we can prove but S can
not, is invalid for the same reason. Lucas wrongly claims that “Gödel’s
theorem states that in any consistent system which is strong enough to
produce simple arithmetic there are formulas which cannot be proved in
the system, but which we can see to be true.” As emphasized in earlier
chapters, the theorem neither states nor implies any such thing. What we
know on the basis of Gödel’s proof of the incompleteness theorem is not
that the Gödel sentence G for a theory S is true, but only the implication
“if S is consistent then G is true.” This implication is provable in S itself,
so there is nothing in Gödel’s proof to show that we know more than can
be proved in S, as far as arithmetic is concerned. (A persistent reader
of Rucker’s book will learn as much from “Excursion Two” at the end of
the book, which gives a presentation of the proof of the incompleteness
theorem.) We do of course know the Gödel sentence of, for example, PA to
be true, since we know PA to be consistent. Whenever we know a theory
S to be consistent, we also know the truth of a statement not provable in
S. But in those cases when we have no idea whether or not S is consistent,
we also have no idea whether or not a Gödel sentence G for S is true, and
if we merely believe or guess S to be consistent, we merely believe or guess
G to be true.
Given that we have no basis for claiming that we (“the human mind”)
can outprove any given consistent formal system, a weaker claim could be
made that there can be no formal system that exactly represents the human
mind as far as its ability to prove arithmetical theorems is concerned. To
test this claim, suppose we specify a theory T , say as ZFC with an added
axiom of infinity (as described in Section 8.3). Can we use Gödel’s theorem
to disprove the claim that the arithmetical theorems of T are precisely those
that the human mind is capable of proving? An attempt to do so fails for
the same reason that the original Lucas argument fails. First, nothing in
the incompleteness theorem rules out that every arithmetical statement
provable in T can also be proved by the human mind. We may not at
the moment know how to prove a given arithmetical theorem of T , but
we can’t use the incompleteness theorem to rule out the possibility that
a proof acceptable to the human mind exists. Second, the incompleteness
theorem does not rule out the possibility that every arithmetical statement
provable by the human mind is provable in T . If we make a suitable choice
of axiom of infinity, it will not be in any way evident to the human mind
that T is consistent, and nothing in Gödel’s theorem gives us any example
i i
i i
i i
i i
These comments are somewhat odd, since they seem to set aside the
question whether Gödel’s theorem can be used to disprove the statement
that T exactly represents human arithmetical ability, quite apart from
whether anybody claims this to be the case. But suppose we adopt the
attitude expressed by Lucas, that the point is what we can argue when
faced with a “seriously maintained claim” that T represents the human
mind. It is then noteworthy that Lucas only speaks of the machine being
“warranted to be consistent.” This is just like the “supposed to always tell
the truth” in the story of the UTM. An earnest claim by “the mechanist”
that the machine is consistent will not give Lucas any grounds for claiming
the Gödel sentence of the machine to be in any sense humanly provable.
Being assured that the machine is consistent gives no support to the claim
that “the mind can see” that it is consistent. We need to distinguish be-
tween “We know that if T is consistent then G is true,” which is true, and
“If T is consistent, then we know that G is true,” which we have no grounds
for claiming. Of course, if Lucas has great confidence in the constructor of
the machine, he will perhaps accept his claim and believe the machine to
be consistent, and so also believe the Gödel sentence of the machine to be
i i
i i
i i
i i
true, but this in no way amounts to proving the Gödel sentence or “seeing”
it to be true.
i i
i i
i i
i i
and furthermore,
In this formulation, the Gödel sentence for F + IAMF has been replaced
by the corresponding consistency statement, which is usually a good idea
in these arguments, since the Gödel sentence for a theory S is equivalent
in S to “S is consistent,” which is less likely to promote confusion than
the self-referential Gödel sentence. Penrose establishes (1) by way of the
soundness of F + IAMF, but it is only essential to the argument that we
can somehow prove (1). The next premise in the argument is
It follows from (2) and (3) that if IAMF then F proves “if IAMF then
F + IAMF is consistent.” But then F + IAMF proves that F + IAMF is
consistent, so F + IAMF is inconsistent. This is incompatible with IAMF,
by (1). So if IAMF is true it is false, so IAMF is false.
The argument is correct in the sense that not-IAMF follows from (1)–
(3) for any F to which the incompleteness theorem applies. Furthermore,
it is easy to find mathematical statements IAMF for which (1)–(3) hold:
just take any statement that we can prove to be false. But of course the
argument is pointless unless we can find such an IAMF for which we have
grounds for claiming
This comment is wildly optimistic. It would lead too far to go into Pen-
rose’s presentation of the “second argument” in Shadows. Commentaries
i i
i i
i i
i i
i i
i i
i i
i i
“Pn does not terminate for input n,” and for this e, we know the statement
“Pe does not terminate for input e” to be true but unprovable in T . In this
sense there is no “knowably sound” theory T that proves every “humanly
provable” statement of the form “Pn does not terminate for input n.”
Unlike the Lucas argument, the observation that no “knowably sound”
algorithm or theory exhausts our arithmetical knowledge is not based on
any misunderstanding of the incompleteness theorem or its proof, and un-
like Penrose’s “second argument,” it is not rendered opaque by various
obscurities and uncertainties. But does it tell us anything about the hu-
man mind?
Penrose grants that his Conclusion G is compatible with the assumption
that the human mind is in fact exactly equivalent to some formal system T
as far as its ability to prove arithmetical statements is concerned, although
we could in such a case not prove or perceive the consistency of T (and
perhaps not formulate the axioms of T ). He presents various arguments
against this idea, and indeed the assumption that there is such a T has
little to recommend it. To come to grips with the feeling that Conclusion
G shows that the human mind is in some sense nonalgorithmic, we need to
tackle head on the question whether it shows that it is in fact impossible
for us to program a computer with all of our ability to prove arithmetical
theorems.
It may seem that the answer is obvious, since what conclusion G states
is precisely that we cannot specify any formal system that exhausts our
mathematical knowledge. But there is no reason why programming a com-
puter with all of our ability to prove arithmetical theorems should consist
in specifying such a formal system. To emulate human mathematicians,
the computer also needs to be able to apply precisely the kind of reasoning
that leads us from accepting a formal system T as mathematically correct
to accepting a stronger system as in the same sense correct.
Penrose, in considering this possibility ([Penrose 94, p. 81]), argues that
whatever rules of reasoning of this kind with which we program the robot,
the totality of statements provable by the robot will still be theorems of a
formal system that we recognize as sound, and Conclusion G still applies:
the robot has not been programmed with the sum total of our arithmetical
knowledge and theorem-proving ability.
This argument is inconclusive because in fact the kind of reasoning
that leads us from accepting a formal system T as mathematically correct
to accepting a stronger system as mathematically correct covers a wide
range of both formal and informal principles, some of which are evident
i i
i i
i i
i i
and unproblematic, while others are less so. The case where we go from
a theory T that we unhesitatingly accept as correct to the extension T +
“T is consistent” is simple and unproblematic. How could we incorporate
this principle in trying to program a robot mathematician with all of our
arithmetical knowledge? We start by programming the robot with some
basic theory T of arithmetic. To include the extension principle, we might
give the robot a button to press: whenever the button is pressed, the
store of axioms available to the robot is extended by the statement that
its earlier store of axioms is consistent. In searching for a proof of an
arithmetical statement, the robot may press the button any number of
times. Does this make the robot our mathematical equal? No, for since
we recognize that all of the theories obtainable by repeatedly applying
the above principle starting with T are correct, we also recognize that the
union of these theories, which has all of the consistency statements obtained
in this way as axioms, is correct, so we get a new consistency statement
which can not be proved by the robot. But now we’re applying a different
principle: we go from a theory T that we unhesitatingly accept as correct
to an extension of T by infinitely many consistency statements, which we
also unhesitatingly accept as correct. We can program the robot to make
use of this principle as well. But now we find that the robot still does not
match our theorem-proving ability, for we can formulate stronger principles
of extension.
As we continue to formulate stronger and more involved principles for
extending a correct theory to a stronger theory that is still correct, we
are confronted with a number of questions about what is or is not evident
or mathematically acceptable, questions to which different mathematicians
and philosophers will give different answers, and where many would say that
there is no definite answer. To program a robot to perfectly emulate human
mathematicians, we would need to give it a similar range of responses to
these questions. If we manage to do this, the set of theorems provable by
the robot using any of the formally defined extension principles will still
indeed be computably enumerable, but we will have no grounds for the
claim that we as human mathematicians can prove anything not provable
by the robot. We will have succeeded in creating a robot that becomes
just as confused and uncertain as humans do when pondering ever more
complicated or far-reaching ways of extending a correct theory to a stronger
correct theory.
The above brief description of what happens when we start thinking
about various principles for extending a correct theory to a stronger cor-
i i
i i
i i
i i
i i
i i
i i
i i
from the weakness of giving such satisfaction to the human mind that they
tend to be mistaken for incisive and illuminating observations.
The question how to substantiate reflections like Hofstadter’s, and
whether it can be done, will not be considered in this book. However,
this particular category of metaphorical applications of the incompleteness
theorem merits some further comments.
In reflections such as those quoted, it is commonly the second incom-
pleteness theorem that is explicitly or implicitly referred to. The inability
of a formal system S to prove its own consistency is interpreted as an in-
ability of S to sufficiently analyze and justify itself, or as a kind of blind
spot. The system doesn’t “understand itself.”
To this, it may be objected that the metaphor understates the difficulty
for a system to prove its own consistency. As commented on in Section 5.1,
the unprovability of consistency is really the unassertibility of consistency.
A system cannot truly postulate its own consistency, quite apart from ques-
tions of analysis and justification, although other systems can truly postu-
late the consistency of that system. An analogous difficulty for a human
is that he cannot truly state that he never talks about himself, although
other people can truly make this observation about him. The reason for
this is not that the human mind cannot sufficiently analyze or justify itself,
but that the very utterance of the statement “I never talk about myself”
falsifies it.
Of course this analogy is not likely to strike anybody as provocative or
suggestive, since it doesn’t even have the appearance of saying anything
about the human mind, but only makes a logical observation about the
incompatibility of the content of a particular kind of assertion with the
making of the assertion. So let us make an effort to draw a “conclusion”
about the human mind by way of a comparison with formal systems like PA
and ZFC. Instead of concluding that the human mind cannot understand
itself, we will conclude that the human mind, if it is at all like these formal
systems, is able to understand itself wonderfully.
For every finite subset of the axioms of PA, PA proves the consistency
of that subset, and does so by shrewdly analyzing the logic of such finite
parts of itself. Furthermore, PA proves
and also
i i
i i
i i
i i
i i
i i
i i
i i
7
Gödel’s Completeness
Theorem
127
i i
i i
i i
i i
theory is either provable or disprovable in the theory. This result, like the
completeness of the elementary theory of the real numbers mentioned in
Section 2.3, to which it is closely related, was proved by Alfred Tarski in
the early 1930s. But first-order predicate calculus is not complete in this
sense.
So what does the completeness theorem mean? Here we need to recall
that a formal axiomatic system has a formal language, a set of axioms
formulated in that language, and a set of rules of reasoning for drawing
conclusions from those axioms. In the case of what is called a first-order
theory, the language of the system is of a kind known as a first-order pred-
icate language, and the rules of reasoning include (and often consist solely
of) some version of the rules of first-order predicate logic. That first-order
predicate logic is complete means that these rules suffice to derive from the
axioms every sentence that is a logical consequence of the axioms. Since,
conversely, every sentence derivable from a set of axioms using the rules
of reasoning is a logical consequence of those axioms, it follows that the
theorems of a first-order theory are precisely the sentences that are logical
consequences of the axioms of the theory.
The present chapter contains a fairly brief explanation of first-order
logic and a discussion of how the completeness theorem for predicate logic
relates to the incompleteness theorem. A reader who finds the topic unre-
warding need only retain from it that what is “complete,” in the sense of
the completeness theorem for predicate logic first proved by Gödel, is not
an axiomatic theory, but the logical apparatus common to PA and ZFC and
all formal systems known as first-order theories. That this logical appara-
tus is complete means that it suffices to deduce every logical consequence
of the axioms of any such formal system.
First-order predicate logic has been an important part of logic since it
was first formulated as a set of formal rules of inference in the latter part
of the nineteenth century, chiefly by the German mathematician, logician,
and philosopher Gottlob Frege. In Frege’s formulation, the rules of first-
order logic were not separated from the other parts of his logical system,
and it was only in the early decades of the twentieth century that the
distinctive character of first-order logic came to be understood. There are
different formulations of the logical apparatus of first-order logic. Some
versions include special logical axioms, so that one distinguishes between
the “logical” and the “non-logical” axioms of a theory, where the logical
axioms are common to all theories. Other versions have no logical axioms,
but only logical rules of reasoning. In this book, for clarity and consistency,
i i
i i
i i
i i
i i
i i
i i
i i
the fourth sentence is also true. This is what is meant by saying that the
fourth sentence is a logical consequence (in first-order logic) of the fifth
sentence. We can also verify that the fifth sentence is not in this sense a
logical consequence of the fourth sentence. For suppose we take the do-
main of individuals to contain only 0 and 1, interpret “is a fnoffle” as “is a
member of the domain,” and interpret “x glorfs y” as “x is identical with
y.” Then the fourth sentence is true, but the fifth sentence is false.
The third sentence above is an example of a logically true statement:
it is true no matter what domain of individuals we choose, and no matter
what “is a fnoffle” is taken to mean in that domain. In a formulation of
predicate logic that includes logical axioms, those axioms are logically true
statements.
Thus, informally speaking, to say that a sentence A in a first-order
language is a logical consequence of a set M of sentences in that language
means that for any domain of individuals, and for any specification of what
the predicates used in the language mean when applied to individuals in
that domain, if every sentence in M is true (when understood in accordance
with this specification), then so is A. An interpretation of a first-order lan-
guage is a structure consisting of a domain of individuals together with
subsets of that domain and relations between elements in the domain cor-
responding to the predicates of the language. An interpretation is called a
model of a first-order theory T if all the axioms of T are true when read
using that interpretation. So another way of formulating the concept of
logical consequence is that A is a logical consequence of the axioms of T if
A is true in every model of T .
The formal rules of logical reasoning used in a first-order theory have the
property of being sound with respect to the notion of logical consequence.
What this means is that anything that can be proved from a set of axioms
using these rules of reasoning is also a logical consequence of the axioms in
the sense defined. The soundness theorem for first-order logic establishes
that this is the case. What the completeness theorem shows is that the
converse holds: if A is in fact a logical consequence of a set of axioms, then
there is a proof of A using those axioms and the logical rules of reasoning.
Recalling that a model of a theory is an interpretation in which all
of the axioms of the theory are true, we can formulate the completeness
theorem combined with the soundness theorem as the statement that for a
i i
i i
i i
i i
first-order theory T ,
i i
i i
i i
i i
The second group of axioms give the basic properties of the addition
operation:
For every x, x + 0 = x.
For every x, for every y, x + s(y) = s(x + y).
For every x, x × 0 = 0.
For every x, for every y, x × s(y) = x × y + x.
The axioms for addition and multiplication are all we need to be able to
prove every true statement of the form n + m = k or n × m = k. Using the
axioms for the successor function we can also disprove every false statement
of this form.
The final group of axioms consists of the induction axioms. For every
property P of natural numbers expressible in the language of PA, there is
an axiom stating that if 0 has the property P and s(x) has the property
P whenever x has the property, then for every x, x has the property P .
Here, P may be defined using parameters, so that, for example, there is an
axiom stating
This particular induction axiom enters into the proof in PA that x+y =
y + x for every x and y.
i i
i i
i i
i i
Presburger Arithmetic
If we drop the multiplication symbol from the language of PA and delete
the multiplication axioms, we get a theory known as Presburger arithmetic
(after the Polish mathematician who introduced this theory in 1929). Pres-
burger arithmetic is another example (in addition to the elementary theory
of the real numbers mentioned in Section 2.3) of a theory which is com-
plete without being at all trivial. Unlike PA, Presburger arithmetic can
be finitely axiomatized, that is, it is possible to replace the infinitely many
induction axioms with a finite number of other axioms and get a theory
with the same theorems.
A Consistency Proof
In Section 2.8, in an argument against the idea of the incompleteness theo-
rem leading to a “postmodern condition” in mathematics, it was observed
that we can create an infinite tree of consistent variants of PA by omitting
the axiom “for every x, x + 0 = x” and adding 0 + 0 = 0 or its negation
to PA, then to each of the two resulting theories add either 1 + 0 = 1 or
its negation, and so on.
Using the description given of PA and the soundness theorem for pred-
icate logic, we can verify that all of these theories are indeed consistent,
by showing that they all have models. In fact we can show that if we leave
out the axiom “for every x, x + 0 = x,” the result of an addition n + 0
can be anything. Suppose we replace the indicated axiom with an infinite
number of axioms:
0 + 0 = n0 , 1 + 0 = n1 , 2 + 0 = n2 , . . .
k + m = nk + m.
It is still true that k+ s(m) = s(k+ m). To make the axioms for × true,
we now need to interpret k × m not as the ordinary product of k and m,
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
i i
8
Incompleteness, Complexity,
and Infinity
137
i i
i i
i i
i i
plexity of a system in this technical sense, but there are connections be-
tween incompleteness and Kolmogorov complexity. In particular, the appli-
cation of Kolmogorov complexity to prove the first incompleteness theorem
has been widely popularized by Gregory Chaitin, one of the people who
independently invented the concept.
i i
i i
i i
i i
i i
i i
i i
i i
can be shown that for any two computable enumerations of programs that
might be used, the resulting complexity measures K1 (s) and K2 (s) are es-
sentially equivalent, in the sense that there is some constant c, depending
on K1 and K2 but independent of s, such that |K1 (s) − K2 (s)| < c for all s.
This implies that the various results of a qualitative nature that we arrive
at using the concept of Kolmogorov complexity, such as Chaitin’s incom-
pleteness theorem, are independent of exactly how we define complexity.
(This also extends to various other ways of defining the concept, which
in general yield measures of complexity that differ by a term logarithmic
in the length of s.) We cannot, however, attach any great significance to
quantitative results associated with a particular definition of K(s).
The reference above to “the length of the pair (i, w)” calls for some
words of explanation. Given any strings s and t, the pair (s, t) is defined
as another string, from which s and t can both be read off. Thus given a
pair, the two strings that compose the pair are uniquely determined. The
exact definition of (s, t) doesn’t matter here, but one way of defining the
pair (s, t) is the following. Suppose s has length n. Then (s, t) consists
of n occurrences of 1 followed by a 0, followed by s and then t. Thus, for
example, if s is “abcdef” and t is “ghijk,” (s, t) is the string
1111110abcdefghijk
The two strings in the pair (s, t) can be read off by first counting
the number of 1s before the first 0, and then picking out s as the string
consisting of the indicated number of symbols immediately following the
0, while t is the remainder of the string. This is called a self-delimiting
representation of the pair formed by s and t. Note that if s has length n
and t has length m, the length of (s, t) is 2n + m + 1.
An important feature of Kolmogorov complexity is that a statement of
the form K(s) > n can be assumed to be a Goldbach-like statement. This
is so because it can be formulated as the statement
For every m and for every pair (i, w) of length smaller than or
equal to n, it is not the case that m steps in the computation
of Pi with input w yields s as output.
As a consequence, if a consistent theory proves K(s) > n, s does indeed
have complexity greater than n.
To prove Chaitin’s incompleteness theorem we also need a computable
enumeration of the computably enumerable sets:
W0 , W1 , W2 , . . ..
i i
i i
i i
i i
We define the set Wi as the set of strings s for which Pi terminates with s
as input. Wi is computably enumerable, because the set of true statements
of the form
i i
i i
i i
i i
i i
i i
i i
i i
Some of the comments that Chaitin has made about his incompleteness
theorem in various places have given many of his readers the impression
that the theorem sheds light on the grounds for incompleteness in general.
Thus, in the abstract of [Chaitin 82], Chaitin states that
i i
i i
i i
i i
to say” that a fat theorem cannot be derived from skinny axioms, such
statements have no apparent justification.
In fact Chaitin in [Chaitin 92] notes as much, and proposes an “im-
proved version” of the “heuristic principle” that the complexity of a theo-
rem cannot exceed that of the axioms:
One cannot prove a theorem from a set of axioms that is of
greater complexity than the axioms and know that one has done
this. I.e., one cannot realize that a theorem is of substantially
greater complexity than the axioms from which it has been
deduced, if this should happen to be the case.
Chaitin suggests no justification for this “improved version,” and it is
not obvious what such a justification might look like. For any string s,
we can prove s = s from the axiom “for every string x, x = x.” The
quoted principle implies that we can never know that any string s has
higher complexity than the string “for every string x, x = x,” a baseless
claim.
Chaitin concludes with the reflection that “Perhaps it is better to avoid
all these problems and discussions by rephrasing our fundamental principle
in the following totally unobjectionable form: a set of axioms of complexity
N cannot yield a theorem that asserts that a specific object is of complexity
substantially greater than N .” This is unobjectionable as a formulation of
his incompleteness theorem in the form “T does not prove K(s) > n for
any n greater than K(T ) + c,” if we keep in mind that it depends on
a particular choice of complexity measure and that the constant c may
be enormous, rendering the description “not substantially greater” moot.
This is a special case of the incompleteness phenomenon, one that we can
understand on the basis of informal arguments such as the one presented
earlier.
As for the contrasting of the “new viewpoint” with “the old proof based
on the paradox of the liar,” proofs of the first incompleteness theorem based
on computability theory have been around for a long time, as Chaitin him-
self notes. In particular, the MRDP theorem (see Section 3.3) shows that
every theory to which the incompleteness theorem applies leaves unde-
cided infinitely many statements of the form “the Diophantine equation
D(x1 ,. . . ,xn ) = 0 has no solution.” It is indeed important to emphasize
that undecidable arithmetical sentences need not be formalizations of odd
self-referential statements, but this point is fully illustrated by the unde-
cidability of statements about Diophantine equations.
i i
i i
i i
i i
i i
i i
i i
i i
We will take a closer look at this idea below, but first we need to take
notice of the fact that Chaitin also calls these statements “true by acci-
dent,” emphasizing the “randomness” of Ω. In his recent book MetaMath,
he comments
This suggests that statements of the form “The nth bit of Ω is i” are
“true for no reason” in a sense analogous to that in which it may be “true
for no reason” that, say, an atom decays at a particular time. When we
say that radioactive decay is “truly random,” we mean that there is no
mechanism that causes an atom to decay at a particular moment and that a
statistical description of radioactive decay tells us all there is to know about
it. But of course Ω is not defined in terms of any physical experiments,
and we have no conception of any “mathematical mechanism” or “laws of
mathematics” by which some mathematical statements are caused to be
true whereas others just happen to be true. If we are not talking about
proofs and reasoning, but about what makes a statement true, all we can
say is that Goldbach’s conjecture, if true, is true because every even number
greater than 2 is the sum of two primes, a statement “the nth bit of Ω is
i,” if true, is true because i is the limit of the nth bit of the mathematically
defined sequence r1 , r2 , r3 ,. . . of finite strings of bits, and so on. The mere
fact that Ω is called a “random sequence” does not confer any automatic
meaning on a claim that the bits of Ω are random in any sense analogous
to the randomness that may exist in nature.
Indeed, Chaitin himself goes on to emphasize that Ω is a mathematically
defined sequence, and that it may be preferable to use some other term than
“random” to describe it. He suggests “irreducible”:
i i
i i
i i
i i
This brings us back to the idea that these statements can only be postu-
lated, not proved in any more interesting sense, which in the above passage
seems to be based on their not being “obtainable from simpler axioms.”
Let’s take a closer look at this idea. Given any concept of “simpler,”
if the degree of simplicity of a string is given by a natural number, it is
trivially the case that there are true arithmetical statements that cannot be
logically derived from simpler true statements. For example, the simplest
statement among the true statements that logically imply “0 = 0” cannot
be logically derived from any simpler true statement. Indeed, on many
natural measures of simplicity, “0 = 0” itself will have this property. The
“amazing fact” Chaitin speaks of thus cannot be just the fact that there
exist true statements that cannot be deduced from simpler true statements.
There are of course significant differences between “0 = 0” and state-
ments of the form “The nth bit of Ω is i.” In particular, such statements
are not trivially or obviously true, but instead pose mathematical prob-
lems and call for a proof. But nor is there any apparent basis for claiming
that they “cannot be obtained from axioms simpler than they are.” The
result that a formal system of complexity n can determine at most n + c
bits of Ω doesn’t tell us that, for example, “The 1000th bit of Ω is 0,” if
true, can only be proved by assuming the statement as an axiom. Which
particular statements about the bits of Ω that can be proved in a given
system depends on the system and on the details in the definition of Ω. In
particular, for any n, the parameters in the definition of Ω can be chosen
so as to allow us to prove every true statement of the form “the kth bit of
Ω is i” for k < n. For a natural choice of those parameters, Calude et al.
[Calude et al. 01] computed the first 64 bits of Ω.
Let us consider instead statements of the form “the first n bits of Ω are
given by s,” where s is a bit string of length n. The randomness of Ω implies
that there is some constant c such that the complexity of the string Ω1:n
of the first n bits of Ω, using a suitable definition of complexity, is always
no smaller than n − c for some c independent of n. Thus for large enough
n, Ω1:n is incompressible (to any degree we care to specify), and a true
statement of the form “the first n bits of Ω are given by s” cannot be gen-
erated by an algorithm using as input a string (essentially) shorter than n.
But we know that statements of enormous complexity can, in general, be
proved from very simple axioms, even though there is no algorithm which
yields any of those statements given a simple input. A special argument
would be needed to show that sufficiently long statements of this partic-
ular form can only be proved using axioms of the same complexity, that
i i
i i
i i
i i
i i
i i
i i
i i
Varieties of Incompleteness
i i
i i
i i
i i
i i
i i
i i
i i
of sets has certain closure properties and therefore contains very large sets,
and axioms of infinity that isolate some property of the smallest infinite
set, the set of natural numbers, and simply state that there are larger
infinite sets with a corresponding property. While the former category of
axioms of infinity (“weak axioms of infinity”) seem convincing to many,
and justifiable on the basis of informal considerations, probably very few
people would claim that it is at all evident that axioms of infinity in the
second category (“strong axioms of infinity”) are even consistent with the
axioms of ZFC. Strong axioms of infinity are often inconsistent with V =
L and are logically stronger than the axioms in the first category, although
no axiom of infinity is known which settles the continuum hypothesis.
This third dimension of incompleteness of ZFC, and the study of ax-
ioms of infinity to which it has given rise, may seem a highly esoteric and
specialized aspect of mathematics, and so it is. But at the same time, it is
relevant to the mathematics of the natural numbers.
i i
i i
i i
i i
that every arithmetical theorem of ZFC is true. An axiom that asserts the
existence of an inaccessible cardinal is a “weak” axiom of infinity in the
sense explained above. “Strong” axioms of infinity are far from transparent
as regards their consequences, but investigations have shown that exten-
sions of ZFC by the stronger axioms imply the arithmetical soundness of
extensions of ZFC by the weaker axioms.
From a philosophical point of view, it is highly significant that exten-
sions of set theory by axioms asserting the existence of very large infinite
sets have logical consequences in the realm of arithmetic that are not prov-
able in the theory that they extend. Again, however, no arithmetical prob-
lem of traditional mathematical interest is known to be among the new
arithmetical theorems of extensions of ZFC by axioms of infinity, and it
is highly desirable to find arithmetical statements of interest outside the
special field of logic which are not decidable in ZFC but can be proved
using axioms of infinity.
A first step in this direction was taken in 1977, when it was proved that a
certain combinatorial principle is undecidable in PA. The great interest of
this result lay in the fact that the combinatorial principle in question did not
refer to Gödel numbers or formal theories, but was a seemingly insignificant
strengthening of a well-known mathematical principle. It is worthwhile to
take a closer look at this result, to obtain a broad understanding of the
far-reaching extensions of this approach that will be described at the end
of this chapter.
Ramsey’s theorem is a fundamental result in finite mathematics, proved
by Frank Plumpton Ramsey in 1928. To formulate this theorem we need
some definitions. Suppose we have a finite set A of numbers (or indeed of
anything else). An n-element subset of A is a set B with n elements, all of
which are taken from A. An m-partition of the n-element subsets of A sorts
those subsets into m categories C1 ,. . . ,Cm so that each n-element subset
of A belongs to one and only one of these categories. Finally, a subset
H of A is homogeneous for the given partition if there is some particular
category Ci in the partition such that every n-element subset of A all of
whose elements are taken from H falls in the category Ci .
Here is a concrete example. If A is the population of a city, we can
partition the 5-people subsets of A into two categories: those groups of five
people who get on well together, and those who do not. A homogeneous
i i
i i
i i
i i
subset is a set H of people such that either any five people taken from H
get on well together, or else any five people taken from H do not get on
well together.
Ramsey’s theorem is about the existence of homogeneous subsets. The
theorem (or more specifically “the finite Ramsey theorem”) states that for
any n, m, and k there is a number p such that if A contains at least p
elements, there is, for any m-partition of the n-element subsets of A, a
homogeneous subset of A containing at least k elements. In the example
(choosing k = 1000), if we specify a large enough population, we know
that for any population at least that size, there is a set of 1000 people in
the population such that either any five people from that subset get on
well together, or else any five people from that subset do not get on well
together.
The finite Ramsey theorem is a theorem about finite sets, but by rep-
resenting finite sets of numbers as numbers, it can be formulated as an
arithmetical statement. It is then provable in PA. The Paris-Harrington
theorem is about a slight modification of the conclusion of the finite Ramsey
theorem. We say that a set A of numbers is relatively large if the number
of elements in A is greater than the smallest number in A. It can be proved
that Ramsey’s theorem holds also if we require the homogeneous set H to
be relatively large. But, the Paris-Harrington theorem shows, this is not
provable in PA.
While the Paris-Harrington theorem can be proved using different meth-
ods, the incompleteness in PA that it reveals is an instance of Gödelian
incompleteness, in the sense that the strengthened Ramsey theorem is in
fact equivalent in PA to “PA is Σ-sound.” Thus, this is an instance of
incompleteness in PA that can be remedied by proving the soundness of
PA, and in particular can be proved on the basis of an axiom of infinity.
Later Developments
i i
i i
i i
i i
i i
i i
i i
i i
A
Appendix
155
i i
i i
i i
i i
156 A. Appendix
i i
i i
i i
i i
means that there is a formula exp(x, y, z) such that for all natural numbers
m, n, k, the sentence exp(m, n, k) obtained by substituting the numerals
denoting these numbers for the variables x, y, z is true if and only if k = mn .
Furthermore, using this definition, PA proves the basic rules of exponenti-
ation, that is x0 = 1 and xy+1 = xy × x for all numbers x, y. (From this
together with the induction axioms other rules for exponentiation follow.)
Thus, in discussing the subject of elementary arithmetic in a philosophical
or logical context, we can restrict ourselves to addition and multiplication
and the axioms of PA.
A Bit of Symbolism
Introducing some standard logical symbolism, we write ∀x for “for every
x,” ∃x for “there is an x such that,” ¬A for “it is not the case that A,”
A ∨ B for “A or B,” A ∧ B for “A and B,” A ⊃ B for “if A then B,” and
A ≡ B for “A if and only if B.
Using these symbols, the formula defining “x < y” becomes ∃z(y =
x + s(z)), the definition given above of “y is a prime” becomes the more
perspicuous ∃w(y = s(s(w))) ∧ ∀u∀v(y = u × v ⊃ (u = 1 ∧ v = y) ∨ (u =
y ∧ v = 1)), and the formalization of “there are infinitely many primes”
becomes ∀x∃y(x < y ∧ y is a prime).
1. ∀x¬s(x) = 0
2. ∀x∀y(s(x) = s(y) ⊃= y)
3. ∀x(x + 0 = x)
i i
i i
i i
i i
158 A. Appendix
i i
i i
i i
i i
i i
i i
i i
i i
160 A. Appendix
the equation s(0) + x = x does have a solution, and in fact infinitely many
solutions, among the infinite ordinal numbers.
Thus, using Rosser’s strengthening of the incompleteness theorem in
applying the theorem to a theory T , we can observe that although it may
be more or less reasonable (depending on what else the theory proves) to
describe a part of T within which “a certain amount of arithmetic” can be
carried out as the “arithmetical component” of the theory, the theory will
be incomplete with regard to statements within this component, unless it
is inconsistent, which is a “bad” property however we interpret T .
Rosser’s proof using a Rosser sentence for a theory T was briefly com-
mented on in Section 2.7. There are several variants and generalizations
of this proof, but none that applies the MRDP theorem in the straightfor-
ward way that yields Gödel’s version of the incompleteness theorem. The
Gödel-Rosser theorem is usually proved for theories that incorporate (in
the sense indicated above) a slight strengthening of axioms (1)–(6), known
as Robinson arithmetic (named after R. M. Robinson). One version of
this theory uses an extension of the language of elementary arithmetic in
which we do not define <, but instead include this symbol in the language
from the outset, interpreting it as usual to denote the relation “is strictly
smaller than.” We extend axioms (1)–(6) with three axioms of which the
first two do the same for the relation < that axioms (1)–(6) do for addition,
multiplication, and the successor function:
7. ∀x¬x < 0
The interested reader is referred to Smullyan’s book for a full and read-
able presentation of a proof, generalizing Rosser’s argument, that any con-
sistent theory incorporating axioms (1)–(9) is incomplete. Here we will
consider Robinson arithmetic from the point of view of computability the-
ory, in a formal definition of the concept of a Goldbach-like statement.
i i
i i
i i
i i
every universal quantification has the form ∀x(x < t ⊃ A) and every exis-
tential quantification has the form ∃x(x < t ∧ A) (where in both cases t is a
term that does not contain x). We abbreviate these formulas as ∀x < tA(x)
and ∃x < tA(x).
The essential property of bounded formulas is that there is an algorithm
for deciding whether a sentence in which all quantifiers are bounded is true.
To check whether a sentence ∀x < tA(x) is true we compute the value n of
t, and check whether A(k) is true for every k smaller than n, and similarly
for ∃x < tA(x). Consider, for example, the sentence
i i
i i
i i
i i
162 A. Appendix
i i
i i
i i
i i
pressed as ∀z∀y < z∀x < z¬A(x, y), and thus as a Goldbach-like statement
according to the formal definition. In particular, given a property P that
we know to be computably decidable, the statement “every natural number
has property P ” can be formulated as ∀xA(x) for some bounded formula
A(x), since the complement of a decidable set is effectively computable,
and the statement is equivalent to “for every n, n is not in the complement
of the set of numbers having property P .”
By the same kind of reasoning, applying the basic observation that
a set E of numbers is computably decidable if and only if both E and
its complement are computably enumerable, we find that the computably
decidable sets are those which can be defined both by a Σ-formula ∃xA(x, y)
and by a Π-formula, a formula ∀xA(x, y) with A bounded.
i i
i i
i i
i i
References
[Boolos 89] Boolos, G., “A New Proof of the Gödel Incompleteness Theo-
rem,” Notices of the AMS 36 (April 1989), pp. 388–390.
[Calude et al. 01] Calude, C. S., Hertling, P., Khoussainov, B., and Wang,
Y., “Recursively Enumerable Reals and Chaitin Omega Numbers,”
Theoretical Computer Science 255 (2001), pp. 125–149.
[Chaitin 05] Chaitin, G. J., Metamath! The Quest for Omega. To be pub-
lished by Pantheon Books, New York, 2005.
165
i i
i i
i i
i i
166 References
[Dawson 97] Dawson, J., Logical Dilemmas: The Life and Work of Kurt
Gödel, A K Peters, Natick, MA, 1997.
[Feferman et al. 86] Feferman, S., Dawson, J. W., Goldfarb, W., Parsons,
C., and Sieg, W. (eds.), Kurt Gödel: Collected Works, Vol. I–III, Ox-
ford University Press, Oxford, 1986–1995.
[Feferman et al. 00] Feferman, S., Friedman, H., Maddy, P., and Steel, J.,
“Does Mathematics Need New Axioms?”, Bulletin of Symbolic Logic
6 (2000), pp. 401–413.
[Kline 80] Kline, M., Mathematics: The Loss of Certainty, Oxford Univer-
sity Press, Oxford, 1980.
[Li and Vitanyi 97] Li, M. and Vitanyi, P., An Introduction to Kolmogorov
Complexity and its Applications, Springer-Verlag, New York, 1997.
i i
i i
i i
i i
References 167
[Lucas 61] Lucas, J. R., “Minds, Machines and Gödel,” Philosophy XXXVI
(1961), pp. 112–127.
[Lucas 96] Lucas, J. R., “Minds, Machines, and Gödel: A Retrospect,”
in P. J. R. Millican and A. Clark (eds.) Machines and Thought: The
Legacy of Alan Turing, Vol. 1, Oxford University Press, Oxoford, 1996,
pp. 103–124.
[Nagel and Newman 59] Nagel, E. and Newman, J., Gödel’s Proof, Rout-
ledge & Kegan Paul, New York, 1959.
[Penrose 89] Penrose, R., The Emperor’s New Mind, Oxford University
Press, Oxford, 1989.
[Penrose 94] Penrose, R., Shadows of the Mind, Oxford University Press,
Oxford, 1994.
[Penrose 96] Penrose, R., “Beyond the Doubting of a Shadow,” PSYCHE
2(23) (1996), electronic journal.
[Putnam 00] Putnam, H., “Nonstandard Models and Kripke’s Proof of the
Gödel Theorem,” Notre Dame J. of Formal Logic 41(1) (2000), pp.
53–58.
[Raatikainen 98] Raatikainen, P., “Interpreting Chaitin’s Incompleteness
Theorem,” Journal of Philosophical Logic 27 (1998), pp. 269–286.
[Rucker 95] Rucker, R., Infinity and the Mind, Princeton University Press,
Princeton, NJ, 1995.
[Shapiro 03] Shapiro, S., “Mechanism, Truth, and Penrose’s New Argu-
ment” Journal of Philosophical Logic 32 (2003), pp. 19–42.
[Shelah 03] Shelah, S., “Logical Dreams,” Bulletin of the AMS 40(2)
(2003), pp. 203–228.
[Smullyan 92] Smullyan, R., Gödel’s Incompleteness Theorems, Oxford
University Press, Oxford, 1992.
[Sokal and Bricmont 98] Sokal, A. D. and Bricmont, J., Fashionable Non-
sense: Postmodern Intellectuals’ Abuse of Science, Picador Books,
New York, 1998.
[Wang 87] Wang, H., Reflections on Kurt Gödel, MIT Press, Cambridge,
MA, 1987.
i i
i i