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 条

[41] LEIBNIZ EXCERPTS FROM THE PRINCIPIA-MATHEMATICA
MELI, DB
ANNALS OF SCIENCE, 1988, 45 (05) : 477 - 505
[42] Program simplification as a means of approximating undecidable propositions
Harman, M
Fox, C
Hierons, R
Binkley, D
Danicic, S
SEVENTH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1999, : 208 - 217
[43] PRINCIPIA MATHEMATICA, PART VI: RUSSELL AND WHITEHEAD ON QUANTITY
Gandon, Sebastien
LOGIQUE ET ANALYSE, 2011, (214) : 225 - 247
[44] ORIGIN OF NEWTONS WORK PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA
NOVY, L
CESKOSLOVENSKY CASOPIS PRO FYSIKU SEKCE A, 1974, 24 (05): : 490 - 496
[45] Leon Chwistek on the no-classes theory in Principia Mathematica
Linsky, B
HISTORY AND PHILOSOPHY OF LOGIC, 2004, 25 (01) : 53 - 71
[46] NEWTON 'PRINCIPIA MATHEMATICA', A CHALLENGE TO CARTESIAN PRINCIPLES OR REALITY
BIARNAIS, MF
REVUE PHILOSOPHIQUE DE LOUVAIN, 1988, 86 (72) : 440 - 466
[47] The definability of the set of natural numbers in the 1925 'Principia Mathematica'
Landini, G
JOURNAL OF PHILOSOPHICAL LOGIC, 1996, 25 (06) : 597 - 615
[48] Axionatic examination of statement-calculations of "Principia Mathematica"
Bernays, P
MATHEMATISCHE ZEITSCHRIFT, 1926, 25 : 305 - 320
[49] MARGINALIA IN NEWTONI PRINCIPIA MATHEMATICA 1687 - LEIBNIZ,GW
COHEN, IB
ISIS, 1976, 67 (238) : 488 - 489
[50] Philosophiae Naturalis Principia Mathematica: Its mathematical structure
Marquina, JE
Ridaura, R
Alvarez, JL
Marquina, V
Gomez, R
REVISTA MEXICANA DE FISICA, 1996, 42 (06) : 1051 - 1059

← 1 2 3 4 5 →