Current research on Gödel's incompleteness theorems

Published: September 10, 2020Updated: December 14, 2020PDF arXiv

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.

Current research on Gödel's incompleteness theorems

Yong Cheng

math.LO

Published: September 10, 2020Updated: December 14, 2020PDF arXiv

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.