WHAT DOES GODEL 2ND INCOMPLETENESS THEOREM SHOW

被引：0
作者：
MOORE, AW
机构：
来源：
NOUS | 1988年 / 22卷 / 04期
关键词：
D O I：
10.2307/2215458
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：573 / 584
页数：12
相关论文
共 16 条
[1]  
BENACERRAF P, 1965, PHILOS REV, V74
[2]  
BOOLOS G., 1974, COMPUTABILITY LOGIC, Vfifth
[3]  
Boolos George, 1979, UNPROVABILITY CONSIS
[4]  
DAVIDSON D, 1984, ON SAYING THAT
[5]  
Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed
[6]  
FEFERMAN S, 1960, FUNDAMENTA MATH, V49
[7]  
FINDLAY J, 1942, MIND, V51
[8]  
Godel Kurt, FORMALLY UNDECIDABLE
[9]  
HOLIDAY A, 1985, LANGUAGE COMMUNICATI, V5
[10]  
MOORE AW, 1985, ANALYSIS, V45
12