A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
CURRENT RESEARCH ON GÖDEL'S INCOMPLETENESS THEOREMS

2021
*
Bulletin of Symbolic Logic
*

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. Introduction Gödel's first and second incompleteness theorem are some of the most important and profound results in the foundations of mathematics and have had wide

doi:10.1017/bsl.2020.44
fatcat:uqklozcs3rapxc6t25fylacf7i