SOME RELATIONS BETWEEN CLASSICAL AND CONSTRUCTIVE MATHEMATICS

被引：7

|

作者：

BEESON, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 02期

关键词：

D O I：

10.2307/2272821

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：228 / 246

页数：19

相关论文

共 50 条

[1] BETWEEN CONSTRUCTIVE AND CLASSICAL MATHEMATICS
FEFERMAN, S
[J]. LECTURE NOTES IN MATHEMATICS, 1984, 1104 : 143 - 162
[2] Classical mathematics for a constructive world
O'Connor, Russell
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (04) : 861 - 882
[3] AGAINST INTUITIONISM, CONSTRUCTIVE MATHEMATICS IS PART OF CLASSICAL MATHEMATICS
TAIT, WW
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (02) : 173 - 195
[4] CONSTRUCTIVE ASSERTIONS IN AN EXTENSION OF CLASSICAL MATHEMATICS
LIFSCHITZ, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (02) : 359 - 387
[5] Foundational Theories of Classical and Constructive Mathematics
Koss, Michael R.
[J]. PHILOSOPHIA MATHEMATICA, 2012, 20 (02) : 267 - 271
[6] WEAK MODEL CATEGORIES IN CLASSICAL AND CONSTRUCTIVE MATHEMATICS
Henry, Simon
[J]. THEORY AND APPLICATIONS OF CATEGORIES, 2020, 35 : 875 - 958
[7] ZFC MINUS POWERSET AS CLASSICAL HULL OF CONSTRUCTIVE MATHEMATICS
JORGENSEN, MA
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A448 - A448
[8] Some practical aspects of the relations between physics and mathematics.
Webster, AG
[J]. PHYSICAL REVIEW, 1904, 18 (04): : 297 - 318
[9] ON CONNECTIONS BETWEEN CLASSICAL AND CONSTRUCTIVE SEMANTICS
STARCHENKO, SS
VORONKOV, AA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 417 : 275 - 285
[10] Some Obstacles Facing a Semantic Foundation for Constructive Mathematics
Koss, Michael R.
[J]. ERKENNTNIS, 2015, 80 (05) : 1055 - 1068

← 1 2 3 4 5 →