首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
GODEL PROOF - NAGEL,E, NEWMAN,JR
被引:6
|
作者
:
PUTNAM, H
论文数:
0
引用数:
0
h-index:
0
PUTNAM, H
机构
:
来源
:
PHILOSOPHY OF SCIENCE
|
1960年
/ 27卷
/ 02期
关键词
:
D O I
:
10.1086/287725
中图分类号
:
N09 [自然科学史];
B [哲学、宗教];
学科分类号
:
01 ;
0101 ;
010108 ;
060207 ;
060305 ;
0712 ;
摘要
:
引用
收藏
页码:205 / 207
页数:3
相关论文
共 50 条
[31]
TOWARDS A PROOF THEORY OF GODEL MODAL LOGICS
论文数:
引用数:
h-index:
机构:
Metcalfe, George
Olivetti, Nicola
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Paul Cezanne, LSIS UMR CNRS 6168, F-13397 Marseille 20, France
Univ Bern, Math Inst, CH-3012 Bern, Switzerland
Olivetti, Nicola
LOGICAL METHODS IN COMPUTER SCIENCE,
2011,
7
(02)
[32]
Incompleteness - The proof and paradox of Kurt Godel.
Shulman, P
论文数:
0
引用数:
0
h-index:
0
Shulman, P
NEW YORK TIMES BOOK REVIEW,
2005,
: 20
-
20
[33]
Magari and others on Godel's ontological proof
Hajek, P
论文数:
0
引用数:
0
h-index:
0
机构:
ACAD SCI CZECH REPUBL,INST COMP SCI,PRAGUE 18207,CZECH REPUBLIC
ACAD SCI CZECH REPUBL,INST COMP SCI,PRAGUE 18207,CZECH REPUBLIC
Hajek, P
LOGIC AND ALGEBRA,
1996,
180
: 125
-
135
[34]
An automatic proof of Godel's incompleteness theorem
Ammon, K
论文数:
0
引用数:
0
h-index:
0
Ammon, K
ARTIFICIAL INTELLIGENCE,
1997,
95
(01)
: 203
-
207
[35]
THE STRUCTURE OF SCIENCE - NAGEL,E
ABELSON, R
论文数:
0
引用数:
0
h-index:
0
ABELSON, R
COMMENTARY,
1961,
32
(04)
: 364
-
&
[36]
THE STRUCTURE OF SCIENCE - NAGEL,E
不详
论文数:
0
引用数:
0
h-index:
0
不详
PSYCHOLOGICAL MEDICINE,
1980,
10
(04)
: 809
-
809
[37]
THE STRUCTURE OF SCIENCE - NAGEL,E
不详
论文数:
0
引用数:
0
h-index:
0
不详
INTERNATIONAL PHILOSOPHICAL QUARTERLY,
1961,
1
(02)
: 355
-
356
[38]
MULTIATTRIBUTE EVALUATION - EDWARDS,W, NEWMAN,JR
JOHNSON, K
论文数:
0
引用数:
0
h-index:
0
JOHNSON, K
SOCIAL SCIENCE JOURNAL,
1984,
21
(03):
: 131
-
132
[39]
THE STRUCTURE OF SCIENCE - NAGEL,E
ABEL, R
论文数:
0
引用数:
0
h-index:
0
ABEL, R
SOCIAL RESEARCH,
1962,
29
(02):
: 254
-
256
[40]
THE STRUCTURE OF SCIENCE - NAGEL,E
ABELSON, R
论文数:
0
引用数:
0
h-index:
0
ABELSON, R
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH,
1962,
22
(03)
: 416
-
417
←
1
2
3
4
5
→