Current Research on Gödel’s Incompleteness Theorems

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

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.

Links

PhilArchive



    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

Analytics

Added to PP
2021-01-06

Downloads
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