arXiv Analytics

Sign in

arXiv:1512.03667 [math.LO]AbstractReferencesReviewsResources

An Intuitively Complete Analysis of Godel's Incompleteness

Jason W. Steinmetz

Published 2015-12-09Version 1

A detailed and rigorous analysis of Godel's proof of his first incompleteness theorem is presented. The purpose of this analysis is two-fold. The first is to reveal what Godel actually proved to provide a clear and solid foundation upon which to base future research. The second is to construct a coherent explication of Godel's proof that is not only approachable by the non-specialist, but also brings to light the core principles underlying Godel's proof.

Comments: 36 pages
Categories: math.LO, cs.LO
Subjects: 03F40, 03F50, 03A99, F.4.1, I.2.3
Related articles: Most relevant | Search more
arXiv:1211.7308 [math.LO] (Published 2012-11-30, updated 2014-09-06)
Godel's Incompleteness Phenomenon - Computationally
arXiv:2110.12233 [math.LO] (Published 2021-10-23, updated 2022-10-31)
Finding the limit of incompleteness II
arXiv:2009.04887 [math.LO] (Published 2020-09-10, updated 2020-12-14)
Current research on Gödel's incompleteness theorems

Links

Toolbox