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 条

[41] MATHEMATICAL FOUNDATIONS OF SEMANTIC NETWORKS THEORY
BURGIN, M
GLADUN, V
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 364 : 117 - 135
[42] Computational Complexity Theory and the Philosophy of Mathematics
Dean, Walter
[J]. PHILOSOPHIA MATHEMATICA, 2019, 27 (03) : 381 - 439
[43] On the mathematical foundations of fuzzy set theory
Hoehle, Ulrich
[J]. FUZZY SETS AND SYSTEMS, 2022, 444 : 1 - 9
[44] THE IDEA OF LIMITING THE TYPE THEORY IN THE PHILOSOPHY OF MATHEMATICS IN THE CONTEXT OF THE CRITICISM OF EPISTEMOLOGICAL RELATIVISM
Ladov, Vsevolod A.
[J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2019, 51 : 43 - 52
[45] THEORY OF QUANTUM COMPUTATION AND PHILOSOPHY OF MATHEMATICS
Wojtowicz, Krzysztof
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (3-4) : 313 - 332
[46] CATEGORY THEORY AND THE FOUNDATIONS OF MATHEMATICS - PHILOSOPHICAL EXCAVATIONS
MARQUIS, JP
[J]. SYNTHESE, 1995, 103 (03) : 421 - 447
[47] FOUNDATIONS - ESSAYS IN PHILOSOPHY, LOGIC, MATHEMATICS AND ECONOMICS - RAMSEY,FP
ARROW, KJ
[J]. JOURNAL OF POLITICAL ECONOMY, 1980, 88 (03) : 636 - 638
[48] FOUNDATIONS - ESSAYS IN PHILOSOPHY, LOGIC, MATHEMATICS AND ECONOMICS - RAMSEY,FP
LEJEWSKI, C
[J]. PHILOSOPHY, 1979, 54 (208) : 259 - 260
[49] FOUNDATIONS - ESSAYS IN PHILOSOPHY, LOGIC, MATHEMATICS AND ECONOMICS - RAMSEY,FP
NEMESSZEGHY, E
[J]. HEYTHROP JOURNAL, 1981, 22 (02): : 174 - 175
[50] FOUNDATIONS OF MATHEMATICS - INTRODUCTION TO A CONSTRUCTIVIST PHILOSOPHY - FRENCH - GAUTHIER,Y
REIX, A
[J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 1979, 33 (129) : 597 - 598

← 1 2 3 4 5 →