Abstract
The nature of modern constructive mathematics, and its applications, actual and potential, to classical and quantum physics, are discussed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
Beeson, Michael J.: 1985, Foundations of Constructive Mathematics, Springer-Verlag, Heidelberg.
Bishop, Errett: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
Bishop, Errett and Bridges, Douglas: 1985, Constructive Analysis, Grundlehren der math. Wissenschaften, Vol. 279, Springer-Verlag, Berlin-Heidelberg-New York.
Bridges, Douglas: 1981, A constructive look at positive linear functionals on L.(H), Pacific J. Math. 95(1): 11–25.
Bridges, Douglas: 1995, Constructive mathematics and unbounded operators - a reply to Hellman, J. Phil. Logic 25: 549–561.
Bridges, Douglas and Dediu, Luminiţa: Constructing Extensions of Ultraweakly Continuous Linear Functionals. Preprint, University of Waikato.
Bridges, Douglas and Dudley Ward, Nicholas: 1998, Constructing ultraweakly continuous linear functionals on B(H), Proc. American Math. Soc. 126(11): 3347–3353.
Bridges, Douglas and Ishihara, Hajime: Constructive Unbounded Operators. Preprint, University of Waikato.
Bridges, Douglas and Richman, Fred: 1987, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge University Press.
Bridges, Douglas, Richman, Fred and Schuster, Peter: Trace - Class Operators. Preprint, University of Waikato.
Brouwer, L. E. J.: 1981, Over de Grondslagen der Wiskunde, Doctoral Thesis, University of Amsterdam, 1907. Reprinted with additional material (D. van Dalen, ed.) by Mathematisch Centrum, Amsterdam.
Cooke, Roger, Keane, Michael and Moran, William: 1985, An elementary proof of Gleason's Theorem, Math. Proc. Camb. Phil. Soc. 98: 117–125.
Dummett, M. A. E.: 1977, Elements of Intuitionism, Clarendon Press, Oxford.
Ye, Feng: 1998, On Errett Bishop's Constructivism - Some Expositions, Extensions, and Critiques, Ph.D. thesis, Princeton University.
Gleason, A. M.: 1957, Measures on the closed subspaces of a Hilbert space, J. Math. Mechanics 6: 885–893.
Hellman, Geoffrey: 1993, Gleason's Theorem is not constructively provable, J. Phil. Logic 22: 193–203.
Hellman, Geoffrey: 1993, Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem, J. Phil. Logic 22: 221–248.
Hellman, Geoffrey: 1997, Quantum mechanical unbounded operators and constructive mathematics - a rejoinder to Bridges, J. Phil. Logic 26: 121–127.
Kushner, B. A.: 1985, Lectures on Constructive Mathematical Analysis, Amer.Math. Soc., Providence RI.
Markov, A. A.: 1954, Theory of Algorithms (Russian), Trudy Mat. Instituta imeni V. A. Steklova, Vol. 42, Izdatel'stvo Akademii Nauk SSSR, Moskva.
Martin-Löf, Per: 1975, An Intuitionistic Theory of Types: Predicative Part, in Logic Colloquium 1973, H. E. Rose and J. C. Shepherdson (eds.), pp. 73–118, North-Holland, Amsterdam.
Mines, Ray, Richman, Fred and Ruitenburg, Wim: 1988, A Course in Constructive Algebra, Universitext, Springer-Verlag, Berlin-Heidelberg-New York.
Pour-El, M. B. and Richards, I.: 1990, Computability in Analysis and Physics, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York.
Richman, Fred: 1990, Intuitionism as a generalization, Philosophia Math. 5: 124-128.
Richman, Fred and Bridges, Douglas: A Constructive Proof of Gleason's Theorem, Preprint.
Troelstra, A. S.: 1992, Comparing the theory of representations and constructive mathematics, in Computer Science Logic: Proceedings of the 5th Workshop, CSL'91, Berne Switzerland, E. Börger, G. Jäger, H. Kleine Büning, and M. M. Richter (eds.), Lecture Notes in Computer Science, Vol. 626, pp. 382–395, Springer-Verlag, Berlin.
Troelstra, A. S. and van Dalen, D.: 1988, Constructivism in Mathematics: An Introduction (two volumes), North-Holland, Amsterdam.
Weihrauch, Klaus: 1987, Computability, Springer-Verlag, Heidelberg.
Weihrauch, Klaus: 1996, A foundation for computable analysis, in Combinatorics, Complexity, & Logic (Proceedings of Conference in Auckland, 9-13 December 1996), D. S. Bridges, C. S. Calude, J. Gibbons, S. Reeves, and I. H. Witten (eds.), Springer-Verlag, Singapore.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bridges, D.S. Can Constructive Mathematics be Applied in Physics?. Journal of Philosophical Logic 28, 439–453 (1999). https://doi.org/10.1023/A:1004420413391
Issue Date:
DOI: https://doi.org/10.1023/A:1004420413391