The incompleteness theorems after 70 years (Q598275)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The incompleteness theorems after 70 years |
scientific article |
Statements
The incompleteness theorems after 70 years (English)
0 references
6 August 2004
0 references
In the recent years there has been much work done on alternative proofs of Gödel's incompleteness theorems and related results. This paper summarizes some of that work and presents some reasonably self-contained proofs. The main tools are the Arithmetized Completeness Theorem in the form adapted by \textit{H. Kotlarski} [J. Symb. Log. 59, 1414--1419 (1994; Zbl 0816.03025)] and partial inductive satisfaction classes. Kotlarski gives a proof of Tarski's Theorem on Undefinability of Truth in the form: Let \(T\) be a consistent theory in the language of arithmetic extending PA. Then, there is no formula \(\eta\) such that, for every sentence \(\xi\) (identified with its Gödel number), \(T\vdash \xi\equiv \eta(\xi)\). Then, he presents a proof of the second incompleteness theorem based on Berry's paradox, due to \textit{M. Kikuchi} [Math. Log. Q. 40, 528--532 (1994; Zbl 0805.03052)] and his own proof based on the ``busy beaver problem''. There is also a comment on Adamowicz's proof of the second incompleteness theorem using \(\exists_1\)-closed models from \textit{Z. Adamowicz} and \textit{T. Bigorajska} [J. Symb. Log. 66, 349--356 (2001; Zbl 0981.03043)].
0 references
Gödel's incompleteness theorems
0 references
arithmetized completeness theorem
0 references
satisfaction classes
0 references