Abstract
The complete orthomodular lattice of closed subspaces of a Hilbert space is considered as the logic describing a quantum physical system, and called a quantum logic. G. Takeuti developed a quantum set theory based on the quantum logic. He showed that the real numbers defined in the quantum set theory represent observables in quantum physics. We formulate the quantum set theory by introducing a strong implication corresponding to the lattice order, and represent the basic concepts of quantum physics such as propositions, symmetries, and states in the quantum set theory.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Birkhoff, G. and von Neumann, J. (1963). The logic of quantum mechanics. Annals of Mathematics 37, 823.
Halmos, P. R. (1951). Introduction to Hilbert Space, Chelsea, New York.
Piron, C. P. (1976). Foundations of Quantum Physics, W. A. Benjamin, New York.
Takano, M. (2002). Strong completeness of lattice-valued logic. Archive for Mathematical Logic 41, 497-505.
Takeuti, G. (1978). Two Applications of Logic to Mathematics, Iwanami, Tokyo.
Takeuti, G. (1981). In Qunatum Set Theory, Current Issues in Quantum Logic, E. Beltrametti and B. C. van Frassen, eds., Plenum, New York, pp. 303-322.
Titani, S. (1999). Lattice-valued set theory. Archive for Mathematical Logic 38(6), 395-421.
von Neumann, J. (1955). Mathematical Foundation of Quantum Mechanics, Princetion University Press, Princeson, NJ.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Titani, S., Kozawa, H. Quantum Set Theory. International Journal of Theoretical Physics 42, 2575–2602 (2003). https://doi.org/10.1023/B:IJTP.0000005977.55748.e4
Issue Date:
DOI: https://doi.org/10.1023/B:IJTP.0000005977.55748.e4