PP-2006-48: de Jongh, Dick (2006) The Incompleteness Theorems, their content and their meaning. [Report]
Preview |
Text (Full Text)
PP-2006-48.text.pdf Download (82kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2006-48.abstract.txt Download (1kB) |
Abstract
In the year 2006, 100 years after G~del's birth, it is time to think
about the lasting values of his achievements. In this paper I will be
concerned with his most famous results, his two incompleteness
theorems1. In Section 2, a rough version of the theorems and the in my
opinion main achievements of G~del by these theorems are given. In
Sections 3 and 4, the historical content of the theorems is sketched,
in Section 5, I define what a formal system is. In Sections 6 and 7, I
describe the content of the first incompleteness theorem somewhat more
precisely and give the main ideas contained in the proof. The second
incompleteness theorem is treated in section 8. Two developments after
G~del, Provability logic and Feferman's arithmetization of
metamathematics are considered in Section 9. I conclude with some
remarks on Lucas' and others' attempts to derive philosophical
conclusions concerning human beings vs machines from the first
incompleteness theorem.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2006-48 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2006 |
| Uncontrolled Keywords: | incompleteness; G~del |
| Depositing User: | Prof. Dick de Jongh |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/223 |
Actions (login required)
 |
View Item |
