Current Research on Gödel’s Incompleteness Theorems

Bulletin of Symbolic Logic 27 (2):113-167 (2021)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 94,517

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

66 (#243,018)

6 months
20 (#173,440)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yong Cheng
Wuhan University

References found in this work

Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

View all 63 references / Add more references