The priority of arithmetical truth over arithmetical provability

被引：0

|

作者：

Martino, E ^{[1
]}

机构：

[1] Univ Padua, Dept Philosophy, I-35100 Padua, Italy

来源：

TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY | 2002年 / 21卷 / 1-2期

关键词：

Classical Logic; Ideal Agent; Ideal Mathematician; Classical Proof; Semantical Game;

D O I：

10.1023/A:1014832431804

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：55 / 63

页数：9

相关论文

共 50 条

[21] ON ARITHMETICAL ALGORITHMS OVER FINITE-FIELDS
CANTOR, DG
[J]. JOURNAL OF COMBINATORIAL THEORY SERIES A, 1989, 50 (02) : 285 - 300
[22] LOCALIZATION OF INJECTIVE MODULES OVER ARITHMETICAL RINGS
Couchot, Francois
[J]. COMMUNICATIONS IN ALGEBRA, 2009, 37 (10) : 3418 - 3423
[23] Arithmetical composition and inversion of functions over classes
Bell, E. T.
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1931, 33 (1-4) : 897 - 933
[24] ARITHMETICAL GRAPHS
LORENZINI, DJ
[J]. MATHEMATISCHE ANNALEN, 1989, 285 (03) : 481 - 501
[25] On an arithmetical triangle
Karachik V.V.
[J]. Journal of Mathematical Sciences, 2013, 195 (5) : 665 - 675
[26] ARITHMETICAL COMBINATIONS
Smith, J. H.
[J]. ELEMENTARY SCHOOL JOURNAL, 1921, 21 (10): : 762 - 770
[27] Arithmetical paraphrases
Bell, E. T.
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1921, 22 (1-4) : 1 - 30
[28] ARITHMETICAL MODULES
REPNICKII, VB
[J]. MATHEMATICS OF THE USSR-SBORNIK, 1981, 38 (01): : 143 - 149
[29] ARITHMETICAL (N,A)-CODES OVER ARBITRARY BASE
BOYARINOV, IM
KABATYANSKII, GA
[J]. DOKLADY AKADEMII NAUK SSSR, 1975, 221 (04): : 794 - 797
[30] ARITHMETICAL PERILS
JUKES, TH
[J]. NATURE, 1979, 277 (5697) : 510 - 510

← 1 2 3 4 5 →