Current research on G\"odel's incompleteness theorems
Logic
2023-09-12 v2
Abstract
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.
Cite
@article{arxiv.2009.04887,
title = {Current research on G\"odel's incompleteness theorems},
author = {Yong Cheng},
journal= {arXiv preprint arXiv:2009.04887},
year = {2023}
}
Comments
54 pages, final accepted version, to appear in The Bulletin of Symbolic Logic