Why “17 Gen r” is undecidable: Gödel's proof and the paradox of self-reference

Abstract

The aim of this text is to offer an explanation of Gödel's Theorem according to the schemes and notations of the original article. There are many good didactic explanations of the theorem that reveal its central points and implications, but these are difficult to recognize when reading the original work, due to the complexity of its formulation and the author's economical style in explaining the steps of his argument. An exposition of the central concepts will be made, as well as a detailed explanation of the main points of the algebraic development of the proof, which will allow the non-specialist reader to find the well-known paradox from them.

Author's Profile

Analytics

Added to PP
2023-09-22

Downloads
131 (#81,538)

6 months
79 (#55,725)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?