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 条

[31] UNDECIDABLE BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
BAUERMEN.S
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 484 - &
[32] UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
不详
SCIENTIFIC AMERICAN, 1965, 213 (03) : 266 - &
[33] UNDECIDABLE - BASIC PAPERS ON UNDECIDABLE PROPOSITIONS UNSOLVABLE PROBLEMS AND COMPUTABLE FUNCTIONS
ELGOT, CC
MATHEMATICS OF COMPUTATION, 1966, 20 (93) : 199 - &
[34] Our Lady, Queen of Undecidable Propositions
Culik, Hugh C.
JOURNAL OF HUMANISTIC MATHEMATICS, 2016, 6 (02): : 230 - 240
[35] NEWTON ON THE BEACH: THE INFORMATION ORDER OF PRINCIPIA MATHEMATICA
Schaffer, Simon
HISTORY OF SCIENCE, 2009, 47 (157) : 243 - 276
[36] DID PRINCIPIA MATHEMATICA PRECIPITATE A "FREGEAN REVOLUTION"?
Anellis, Irving H.
RUSSELL-THE JOURNAL OF THE BERTRAND RUSSELL STUDIES, 2011, 31 (01): : 131 - 150
[37] Classes of classes and classes of functions in Principia mathematica
Linsky, B
ONE HUNDRED YEARS OF RUSSELL'S PARADOX: MATHEMATICS, LOGIC, PHILOSOPHY, 2004, 6 : 435 - 447
[38] ARE THE CLASSES IN RUSSELL 'PRINCIPIA MATHEMATICA' INCOMPLETE EXPRESSIONS
COUTURE, J
DIALECTICA, 1983, 37 (04) : 249 - 267
[39] The resolution of Russell's paradox in 'Principia Mathematica'
Linsky, B
NOUS, 2002, : 395 - 417
[40] HYPOTHESES IN NEWTON 'PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA'
PEREZDELABORDA, A
REVISTA DE OCCIDENTE, 1987, (68) : 5 - &

← 1 2 3 4 5 →