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 条

[21] Quantification theory in*9 of Principia mathematica
Landini, G
HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (01) : 57 - 77
[22] TOWARD PROVING CONSISTENCY OF PRINCIPIA MATHEMATICA
FITCH, FB
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (02) : 432 - &
[23] LOGICAL FORM IN PRINCIPIA MATHEMATICA AND ENGLISH
Stevens, Graham
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2011, 31 (01): : 9 - 28
[24] Around Principia Mathematica of Russell and Whitehead
Wahl, Russell
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2014, 34 (02): : 171 - 176
[25] The Palgrave Centenary Companion to Principia Mathematica
Wahl, Russell
HISTORY AND PHILOSOPHY OF LOGIC, 2016, 37 (03) : 294 - 297
[26] PROPOSITIONAL FUNCTIONS AND UNIVERSALS IN PRINCIPIA MATHEMATICA
LINSKY, B
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1988, 66 (04) : 447 - 460
[27] Regarding Principia Mathematica by Russell and Whitehead
Grattan-Guinness, I.
HISTORY AND PHILOSOPHY OF LOGIC, 2012, 33 (04) : 383 - 383
[28] A NOTE ON THE REDUNDANT AXIOM OF PRINCIPIA MATHEMATICA
NIDDITCH, P
MIND, 1960, 69 (274) : 251 - 252
[29] Illustrations: Manuscripts Relating to Principia Mathematica
不详
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2011, 31 (01): : 81 - 84
[30] The Palgrave Centenary Companion to Principia Mathematica
Stevens, Graham
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2015, 35 (01): : 71 - 79

← 1 2 3 4 5 →