arXiv Analytics

Sign in

arXiv:2009.04887 [math.LO]AbstractReferencesReviewsResources

Current research on Gödel's incompleteness theorems

Yong Cheng

Published 2020-09-10, updated 2020-12-14Version 2

We give a survey of current research on G\"{o}del's incompleteness theorems from the following three aspects: classifications of different proofs of G\"{o}del's incompleteness theorems, the limit of the applicability of G\"{o}del's first incompleteness theorem, and the limit of the applicability of G\"{o}del's second incompleteness theorem.

Comments: 54 pages, final accepted version, to appear in The Bulletin of Symbolic Logic
Journal: Bulletin of Symbolic Logic, Volume 27, Issue 2, pp. 113-167, 2021
Categories: math.LO
Subjects: 03F40, 03F30, 03F25
Related articles: Most relevant | Search more
arXiv:1803.03937 [math.LO] (Published 2018-03-11)
From Tarski to Gödel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference
arXiv:2006.01057 [math.LO] (Published 2020-06-01)
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
arXiv:2104.14260 [math.LO] (Published 2021-04-29)
A Machine-Assisted Proof of Gödel's Incompleteness Theorems for the Theory of Hereditarily Finite Sets

Links

Toolbox