CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
Yong Cheng
2020 · DOI: 10.1017/bsl.2020.44
Bulletin of Symbolic Logic · 12 Citations
TLDR
A survey of current research on Gödel’s incompleteness theorems from the following three aspects: classifications of different proofs, the limit of the applicability of Gödel's first incomple completeness theorem, and the limitof the applicable of Gö DEL’S second incompletteness theorem.
Abstract
Abstract We give a survey of current research on Gödel’s incompleteness theorems from the following three aspects: classifications of different proofs of Gödel’s incompleteness theorems, the limit of the applicability of Gödel’s first incompleteness theorem, and the limit of the applicability of Gödel’s second incompleteness theorem.