Can constructive mathematics be applied in physics?

Journal of Philosophical Logic

Volumn 28, Issue 5, 1999, Pages 439-453

  Bridges, Douglas S ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

Constructive mathematics; Quantum mechanics; Recursive; Unbounded operator

Indexed keywords

EID: 0002105043     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004420413391     Document Type: Review

References (29)

1. Beeson, Michael J.: 1985, Foundations of Constructive Mathematics, Springer-Verlag, Heidelberg.
2. Bishop, Errett: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
3. Bishop, Errett and Bridges, Douglas: 1985, Constructive Analysis, Grundlehren der math. Wissenschaften, Vol. 279, Springer-Verlag, Berlin-Heidelberg-New York.
4. Bridges, Douglas: 1981, A constructive look at positive linear functionals on L(H), Pacific J. Math. 95(1): 11-25.
5. Bridges, Douglas: 1995, Constructive mathematics and unbounded operators - a reply to Hellman, J. Phil. Logic 25: 549-561.
6. Bridges, Douglas and Dediu, Luminija: Constructing Extensions of Ultraweakly Continuous Linear Functionals. Preprint, University of Waikato.
7. Bridges, Douglas and Dudley Ward, Nicholas: 1998, Constructing ultraweakly continuous linear functionals on B(H), Proc. American Math. Soc. 126(11): 3347-3353.
8. Bridges, Douglas and Ishihara, Hajime: Constructive Unbounded Operators. Preprint, University of Waikato.
9. Bridges, Douglas and Richman, Fred: 1987, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge University Press.
10. Bridges, Douglas, Richman, Fred and Schuster, Peter: Trace - Class Operators. Preprint, University of Waikato.
11. 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.
12. Cooke, Roger, Keane, Michael and Moran, William: 1985, An elementary proof of Gleason's Theorem, Math. Proc. Camb. Phil. Soc. 98: 117-125.
13. Dummett, M. A. E.: 1977, Elements of Intuitionism, Clarendon Press, Oxford.
14. Ye, Feng: 1998, On Errett Bishop's Constructivism - Some Expositions, Extensions, and Critiques, Ph.D. thesis, Princeton University.
15. Gleason, A. M.: 1957, Measures on the closed subspaces of a Hilbert space, J. Math. Mechanics 6: 885-893.
16. Hellman, Geoffrey: 1993, Gleason's Theorem is not constructively provable, J. Phil. Logic 22: 193-203.
17. Hellman, Geoffrey: 1993, Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem, J. Phil. Logic 22: 221-248.
18. Hellman, Geoffrey: 1997, Quantum mechanical unbounded operators and constructive mathematics - a rejoinder to Bridges, J. Phil. Logic 26: 121-127.
19. Kushner, B. A.: 1985, Lectures on Constructive Mathematical Analysis, Amer. Math. Soc, Providence RI.
20. Markov, A. A.: 1954, Theory of Algorithms (Russian), Trudy Mat. Instituta imeni V. A. Steklova, Vol. 42, Izdatel'stvo Akademii Nauk SSSR, Moskva.
21. 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.
22. Mines, Ray, Richman, Fred and Ruitenburg, Wim: 1988, A Course in Constructive Algebra, Universitext, Springer-Verlag, Berlin-Heidelberg-New York.
23. Pour-El, M. B. and Richards, I.: 1990, Computability in Analysis and Physics, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York.
24. Richman, Fred: 1990, Intuitionism as a generalization, Philosophia Math. 5: 124-128.
25. Richman, Fred and Bridges, Douglas: A Constructive Proof of Gleason's Theorem, Preprint.
26. 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.
27. Troelstra, A. S. and van Dalen, D.: 1988, Constructivism in Mathematics: An Introduction (two volumes), North-Holland, Amsterdam.
28. Weihrauch, Klaus: 1987, Computability, Springer-Verlag, Heidelberg.
29. 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.