Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. Bishop, E. (1967)Foundations of Constructive Analysis (New York: McGraw Hill).
2. Bishop, E. and Cheng, H. (1972)Constructive Measure Theory (Providence, R.I.: American Mathematical Society).
3. Bridges, D. (1979)Constructive Functional Analysis (London: Pitman).
4. Bridges, D. (1981) ?Towards a Constructive Foundation for Quantum Mechanics?, in F. Richman, ed.,Constructive Mathematics (Springer Lecture Notes in Mathematics, No. 873), pp. 260?73.
5. Bridges, D. (1991) Review of Pour-El and Richards, Computability in Analysis and Physics (Springer-Verlag),Bulletin of the American Mathematical Society 24(1), 216?228.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An intuitionistic interpretation of Bishop’s philosophy;Philosophia Mathematica;2024-08-12
2. Logical Objections to Atheism;A Companion to Atheism and Philosophy;2019-04-04
3. Bibliography;A Companion to Atheism and Philosophy;2019-04-04
4. What the Applicability of Mathematics Says About Its Philosophy;Philosophy of Engineering and Technology;2018
5. Constructibility of the Universal Wave Function;Foundations of Physics;2016-05-09