Appendix A: Gödel’s Theorems
Hilbert’s program was formulated by the mathematician David Hilbert in the early twentieth century. The main goal of this program was to establish the foundations for all mathematics, that is, to define all of mathematics in a single formal system. In other words, the program sought to find a formal system from which one could deduce all possible truths about mathematics. In this appendix, we will show the mathematical answer that was found to address this program.
Definition 1 Gödel numbering is a function that assigns a natural number to each symbol or well-formed formula in a formal system.
For example, within Peano’s axioms, using Definition 1, we can express self-referential expressions at the object level. With this, the system gains additional power of expressiveness; that is, in a way, the formal system becomes “aware” of itself by being able to refer to its own symbols and formulas.
Considering Table
A-1 (where ? is the successor function), the following holds, which is a formula about the system within the system itself:
1Table A-1Example of Gödel numbering
1 = ?(0) ≡ (2, 4, 3, 1) ≡ (?(?(0)), ?(?(?(?(0)))), ?(?(?(0))), ?(0))
As mentioned, the system gains more power of expressiveness, but it is this power that causes the theorems of incompleteness. Let’s now consider the following two statements:
The first statement is correct, while the second is incorrect. Snow as such does not have four letters (in fact, it does not have a single letter), but “Snow” has four letters. This difference regarding quotation is significant in the proof of Gödel’s theorems of incompleteness.
Definition 2 For an expression P in which the variable ? appears, its diagonalization D (P(?)) is the replacement of the variable ? with the whole expression in quotation marks.
For example, for the expression
? (?) = Boro is reading x, the diagonalization would be
?(
? (?)) = Boro is reading “Boro is reading ?”. This allows expressing self-referential statements; consider the following statements:
1.
? (?) – Boro is reading the diagonalization of x
2.
?(?) – Boro is reading the diagonalization of “Boro is reading the diagonalization of x”
The second statement expresses that Boro is reading the diagonalization of the first statement, that is, Q(?)= ?(? (?)). But the diagonalization of the first statement is the second statement, that is, D(? (?)) = ?(?). In fact, the second statement refers to itself.
Definition 3 A formal system
F is
Incomplete if there are statements that are true but which cannot be proved to be true in F
Complete if all true statements in F can be proved
Inconsistent if there is a theorem in F that is contradictory
Consistent if there are no contradictory theorems in F
With Gödel numbering, the statement “this statement is not provable in F” can be represented in the system F itself, where the word “this” can be represented using the concept of diagonalization by pointing to the same statement. Hence, the given statement can be either true or false. In case it is true, then it is not provable in F, so this truth cannot be proved in F. Alternatively, if it is false, then it is provable in F, but something that is false cannot be proved. Thus, the system is incomplete because some truths are unprovable in it.
Definition 4 A formal system F contains some statements that cannot be proved in F.
Again, Gödel’s numbering can represent the statement “this statement is false in F ”, where diagonalization can represent the word “this” by pointing to the same statement. The given statement is true if it is false, and therefore, it is neither true nor false. The system is inconsistent.
Definition 5 A formal system F cannot prove itself to be consistent in F.
It follows that there is no formal system2 that is both complete and consistent. That is, no system can contain all possible truths, because a given system cannot prove some truths about its own structure. Kurt Gödel proves this with Gödel’s theorems of incompleteness and thus answers Hilbert’s program.
In general, the focus is often on which parts of mathematics can be formalized into specific formal systems, rather than looking for a theory in which all of mathematics can be formalized. A historical overview of the formalization and truthfulness of mathematics is given in [1, 6] where it is noted that “patterns of reasoning cannot be defended forever, at some point faith takes over.” Yet, although imperfect, mathematical systems are still useful tools.