This is a preview of subscription content, log in via an institution to check access.
References
Bishop, E. (1967)Foundations of Constructive Analysis (New York: McGraw Hill).
Bishop, E. and Cheng, H. (1972)Constructive Measure Theory (Providence, R.I.: American Mathematical Society).
Bridges, D. (1979)Constructive Functional Analysis (London: Pitman).
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.
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.
Burgess, J. (1984) “Dummett's Case for Intuitionism”,History and Philosophy of Logic 5, 177–94.
Dummett, M. (1977)Elements of Intuitionism (Oxford: Oxford University Press).
Feferman, S. (1984) “Between Constructive and Classical Mathematics,” inComputation and Proof Theory, Lecture Notes in Mathematics 1104 (Berlin: Springer), pp. 143–162.
Gleason, A. (1957) “Measures on the Closed Subspaces of a Hubert Space”,Journal of Mathematics and Mechanics 6, 885–93.
Heathcote, A. (1990) “Unbounded Operators and the Incompleteness of Quantum Mechanics”,Philosophy of Science 57(3), 523–534.
Hellman, G. (1989a)Mathematics without Numbers (Oxford: Oxford University Press).
Hellman, G. (1989b) “Never Say ‘Never’!: On the Communication Problem between Intuitionism and Classicism”,Philosophical Topics XVII(2), 47–67.
Hellman, G. (1993) “Gleason's Theorem Is Not Constructively Provable”,Journal of Philosophical Logic 22, 193–203.
Jauch, J. M. (1968)Foundations of Quantum Mechanics (Reading, Mass.: Addison-Wesley).
Jordan, T. F. (1969)Linear Operators for Quantum Mechanics (New York: Wiley).
Kreisel, G. (1962) “Foundations of Intuitionistic Logic”, in E. Nagel, P. Suppes and A. Tarski, eds.Logic, Methodology, and Philosophy of Science (Stanford: Stanford University Press), pp. 198–210.
Pour-El, M. and Richards, I. (1983) “Computability in Analysis and Physics: a Complete Determination of the Class of Noncomputable Linear Operators”,Advances in Mathematics 48(1), 44–74.
Pour-El, M. and Richards, I. (1987) “The Eigenvalues of an Effectively Determined Self-Adjoint Operator Are Computable, But the Sequence of Eigenvalues Is Not”,Advances in Mathematics 63(1), 1–41.
Prugovecki, E. (1981)Quantum Mechanics in Hilbert Space (New York: Academic Press).
Putnam, H. (1967) “Mathematics without Foundations”, in P. Benacerraf and H. Putnam, eds.Philosophy of Mathematics (Cambridge: Cambridge University Press), pp. 295–311.
Putnam, H. (1971)Philosophy of Logic (New York: Harper).
Quine, W. V. (1953) “Two Dogmas of Empiricism”, in Quine, W. V.,From a Logical Point of View (New York: Harper), pp. 20–46.
Richman, F. (1987) “The Frog Replies” and “The Last Croak”,The Mathematical Intelligence 9(3), 22–24, 25–26.
Riesz, F. and Sz.-Nagy, B. (1955)Functional Analysis (New York: Ungar).
Stewart, I. (1986) “Frog and Mouse Revisited: A Review of...Constructive Analysis by Errett Bishop and Douglas Bridges (Springer: 1985) andAn Introduction to Non-standard Real Analysis by A. E. Hurd and P. A. Loeb (Academic Press: 1985)”.The Mathematical Intelligencer 8(4), 78–82.
Stewart, I. (1987) “Is There a Mouse in the House?” and “A Final Squeak”,The Mathematical Intelligencer 9(3), 24–25, 26.
Stone, M. H. (1932)Linear Transformations in Hilbert Space (New York: American Mathematical Society).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hellman, G. Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. J Philos Logic 22, 221–248 (1993). https://doi.org/10.1007/BF01049303
Issue Date:
DOI: https://doi.org/10.1007/BF01049303