Abstract
We discuss some aspects of quantum logic within Bishop's constructivemathematics. In particular, we present a set of axioms that abstracts theconstructive properties of the lattices of subspaces and projections on a Hilbertspace.
Similar content being viewed by others
REFERENCES
O. Aberth, Computable Analysis, McGraw-Hill, New York, 1980.
M. J. Beeson, Foundations of Constructive Mathematics, Springer-Verlag, Heidelberg, 1985.
E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
E. Bishop and D. Bridges, Constructive Analysis, Springer-Verlag, Heidelberg, 1985.
D. Bridges, Towards a constructive foundation for quantum mechanics, in Constructive Mathematics, F. Richman, ed., Springer-Verlag, Heidelberg, 1981.
D. Bridges, A constructive look at positive linear functionals on L(H), Pacific J. Math. 95(1), 11-25, 1981.
D. Bridges, Constructive mathematics and unbounded operators-A reply to Hellman, J. Philo. Logic 24, 549-561, 1995.
D. Bridges, Can constructive mathematics be applied in physics? J. Philo. Logic, to appear, 1999.
D. Bridges and F. Richman, Varieties of Constructive Mathematics, Cambridge University Press, Cambridge, 1987.
D. Bridges, F. Richman, and P. Schuster, Adjoints, absolute values, and polar decompositions, preprint.
D. Bridges, F. Richman, and P. Schuster, Trace-class operators, preprint.
M. A. E. Dummett, Elements of Intuitionism, Oxford University Press, Oxford, 1977.
A. M. Gleason, Measures on the closed subspaces of a Hilbert space, J. Math. Mech. 6, 885-893, 1957.
G. Hellman, Gleason's Theorem is not constructively provable, J. Philos. Logic 22, 193-203, 1993.
A. Heyting, Die formalen Regeln der intuitionistischen Logik, Sitzungsber. Preuss. Akad. Wiss. Berlin 1930, 42-56.
A. Heyting, Intuitionism-An Introduction, 3rd ed., North-Holland, Amsterdam, 1971.
B. O. Hultgreen III and A. Shimony, The lattice of verifiable propositions of the spin-1 system, J. Math. Phys. 18, 381-394 (1977).
B. A. Kushner, Lectures on Constructive Mathematical Analysis, American Mathematical Society, Providence Rhode Island, 1985.
F. Richman and D. Bridges, A constructive proof of Gleason's Theorem, to appear.
M. Reck, A. Zeilinger, H. J. Bernstein, and P. Bertani, Experimental realization of any discrete unitary operator, Phys. Rev. Lett. 73, 58-61 (1994).
A. R. Swift and R. Wright, Generalized Stern-Gerlach experiments and the observability of arbitrary spin operators, J. Math. Phys. 21, 77-82 (1980).
D. van Dalen, Brouwer's Cambridge Lectures on Intuitionism, Cambridge University Press, Cambridge, 1981.
K. Weihrauch, Computability, Springer-Verlag, Heidelberg, 1987.
K. Weihrauch, A foundation for computable analysis, in Combinatorics, Complexity, & Logic, D. S. Bridges, C. S. Calude, J. Gibbons, S. Reeves, and I. H. Witten, eds., Springer-Verlag, Singapore, 1996.
K. Weihrauch et al., eds., Computability and Complexity in Analysis (Proceedings of Dagstuhl Seminar, 9-13 April 1997), to appear as a special issue of Theor. Comp. Sci.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bridges, D., Svozil, K. Constructive Mathematics and Quantum Physics. International Journal of Theoretical Physics 39, 503–515 (2000). https://doi.org/10.1023/A:1003613131948
Issue Date:
DOI: https://doi.org/10.1023/A:1003613131948