PP-2006-48: The Incompleteness Theorems, their content and their meaning

PP-2006-48: de Jongh, Dick (2006) The Incompleteness Theorems, their content and their meaning. [Report]

[img]
Preview
Text (Full Text)
PP-2006-48.text.pdf

Download (82kB) | Preview
[img] 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: dickdj
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 View Item