Foundations of mathematics in polymorphic type theory (mathematical philosophy)

被引：0

|

作者：

Holmes, MR ^{[1
]}

机构：

[1] Boise State Univ, Dept Math, Boise, ID 83725 USA

来源：

TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY | 2001年 / 20卷 / 01期

关键词：

D O I：

10.1023/A:1010652812660

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：29 / 52

页数：24

相关论文

共 50 条

[11] The foundations of mathematics in the theory of sets
Holmes, MR
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2002, 23 (01) : 66 - 67
[12] The foundations of mathematics in the theory of sets
Baker, A
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2002, 80 (04) : 533 - 534
[13] Mathematics Foundations and Theory of Sets
Aczel, Peter B.
[J]. REVISTA DIGITAL LAMPSAKOS, 2010, (04): : 16 - 19
[14] The foundations of mathematics in the theory of sets
Cook, RT
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2003, 54 (02): : 347 - 352
[15] Philosophy of Mathematics in the Warsaw Mathematical School
Murawski, Roman
[J]. AXIOMATHES, 2010, 20 (2-3): : 279 - 293
[16] Husserl’s relevance for the philosophy and foundations of mathematics
Guillermo E. Rosado Haddock
[J]. Axiomathes, 1997, 8 (1-3): : 125 - 142
[17] Philosophy of Mathematics in the Warsaw Mathematical School
Roman Murawski
[J]. Axiomathes, 2010, 20 : 279 - 293
[18] THE WORK OF PIERI,MARIO IN THE FOUNDATIONS AND PHILOSOPHY OF MATHEMATICS
MARCHISOTTO, EA
RODRIGUEZCONSUEGRA, FA
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1993, 14 (02) : 215 - 220
[19] MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS - KNEEBONE,GT
SHEPHERDSON, JC
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1964, 15 (59): : 268 - 270
[20] Chinese Research on Mathematical Logic and the Foundations of Mathematics
Wang Hongguang
Du Guoping
[J]. ASIAN STUDIES-AZIJSKE STUDIJE, 2022, 10 (02): : 243 - 266

← 1 2 3 4 5 →