ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS

被引：1

|

作者：

SMULLYAN, RM

机构：

来源：

AMERICAN MATHEMATICAL MONTHLY | 1966年 / 73卷 / 03期

关键词：

D O I：

10.2307/2315369

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：319 / &

相关论文

共 50 条

[1] EXTENSION TO GEOMETRY OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS
HARRELL, MF
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 692 - 692
[2] NEW FORMALLY UNDECIDABLE PROPOSITIONS - NONTRIVIAL LOWER BOUNDS ON PROOF COMPLEXITY AND RELATED THEOREMS
LUCKHARDT, H
THEORETICAL COMPUTER SCIENCE, 1991, 83 (02) : 169 - 188
[3] ON FORMALLY UNDECIDABLE PROPOSITIONS OF LAW - LEGAL INDETERMINACY AND THE IMPLICATIONS OF METAMATHEMATICS
BROWN, MR
GREENBERG, AC
HASTINGS LAW JOURNAL, 1992, 43 (06) : 1439 - 1488
[4] Formal indeterminable theorems of the Principia mathematica and related systems I
Godel, Kurt
MONATSHEFTE FUR MATHEMATIK, 2006, 149 (01): : 1 - 3
[5] EXTENSION TO GEOMETRY OF 'PRINCIPIA MATHEMATICA' AND RELATED SYSTEMS .2.
HARRELL, M
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL ARCHIVES, 1988, 8 (1-2): : 140 - 160
[6] Normative Systems and Undecidable Normative Propositions
Ratti, Giovanni Battista
DOXA-CUADERNOS DE FILOSOFIA Y DERECHO, 2012, 35 : 641 - 661
[7] Principia mathematica
Redwood, JM
PROFESSIONAL ENGINEERING, 1997, 10 (04) : 29 - 29
[8] Principia mathematica III
Chown, M
Wolfram, S
NEW SCIENTIST, 2001, 171 (2305) : 44 - 47
[9] DEFENCE OF PRINCIPIA MATHEMATICA
BLACK, R
MIND, 1973, 82 (328) : 611 - 612
[10] PRINCIPIA MATHEMATICA AT 100
Griffin, Nicholas
Linsky, Bernard
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2011, 31 (01): : 5 - 8

← 1 2 3 4 5 →