Article contents
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
Published online by Cambridge University Press: 05 January 2021
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.
Keywords
MSC classification
- Type
- Articles
- Information
- Copyright
- © The Association for Symbolic Logic 2021
References
- 4
- Cited by