Journal
BULLETIN OF SYMBOLIC LOGIC
Volume 27, Issue 2, Pages 113-167Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/bsl.2020.44
Keywords
Godel's first incompleteness theorem; Godel's second incompleteness theorem; concrete incompleteness; interpretation; intensionality
Categories
Funding
- Humanities and Social Sciences of Ministry of Education Planning Fund project Research on Godel's incompleteness theorem [17YJA72040001]
- Humanities and Social Sciences of Ministry of Education Planning Fund
Ask authors/readers for more resources
The article provides an overview of current research on Godel's incompleteness theorems, focusing on the classification of different proofs, the limitations of the applicability of Godel's first incompleteness theorem, and the limitations of the applicability of Godel's second incompleteness theorem.
We give a survey of current research on Godel's incompleteness theorems from the following three aspects: classifications of different proofs of Godel's incompleteness theorems, the limit of the applicability of Godel's first incompleteness theorem, and the limit of the applicability of Godel's second incompleteness theorem.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available