Current research on Gödel's incompleteness theorems [article]

Yong Cheng
2020 arXiv   pre-print
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.
arXiv:2009.04887v2 fatcat:ws3hn7d7rjgbzmayaw2sfqkf6i