CURRENT RESEARCH ON GoDEL'S INCOMPLETENESS THEOREMS

被引：4
|
作者：
Cheng, Yong [1 ]
机构：
[1] Wuhan Univ, Sch Philosophy, Wuhan 430072, Hubei, Peoples R China
来源：
BULLETIN OF SYMBOLIC LOGIC | 2021年 / 27卷 / 02期
关键词：
Godel's first incompleteness theorem; Godel's second incompleteness theorem; concrete incompleteness; interpretation; intensionality; PHASE-TRANSITIONS; SELF-REFERENCE; PROOF; COMPLETENESS; EXTENSIONS; PARADOX; SYSTEMS; LOGIC;
D O I：
10.1017/bsl.2020.44
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：113 / 167
页数：55
相关论文
共 50 条
12345