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 条

[1] Foundations of Mathematics in Polymorphic Type Theory
M. Randall Holmes
[J]. Topoi, 2001, 20 : 29 - 52
[2] MATHEMATICAL FOUNDATIONS FOR MATHEMATICS
HENKIN, L
[J]. AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (05): : 463 - &
[3] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS
EVANS, T
[J]. AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (02): : 215 - &
[4] MATHEMATICAL LOGIC AND FOUNDATIONS OF MATHEMATICS
GOODSTEI.RL
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1966, 41 (162P): : 381 - &
[5] A Mathematical Prelude to the Philosophy of Mathematics
Stillwell, John
[J]. STUDIA LOGICA, 2016, 104 (01) : 181 - 183
[6] A Mathematical Prelude to the Philosophy of Mathematics
Yap, Audrey
[J]. PHILOSOPHIA MATHEMATICA, 2016, 24 (02) : 275 - 277
[7] Feferman on Foundations: Logic, Mathematics, Philosophy
Kahle, Reinhard
[J]. PHILOSOPHIA MATHEMATICA, 2020, 28 (03) : 421 - 425
[8] HEGEL, MATHEMATICAL LOGIC, AND THE FOUNDATIONS OF MATHEMATICS
ROSENBAUM, I
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (05): : 438 - 439
[9] PHILOSOPHY OF MATHEMATICS AND MATHEMATICS EDUCATION The Confluence of Mathematics and Mathematical Activity
Peressini, Anthony
Peressini, Dominic
[J]. PERSPECTIVES ON MATHEMATICAL PRACTICES: BRINGING TOGETHER PHILOSOPHY OF MATHEMATICS, SOCIOLOGY OF MATHEMATICS, AND MATHEMATICS EDUCATION, 2007, 5 : 175 - 189
[10] CATEGORY THEORY AND THE FOUNDATIONS OF MATHEMATICS
BELL, JL
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1981, 32 (04): : 349 - 358