Abstract
In this paper, we study set theory based on quantum logic. By quantum logic, we mean the lattice of all closed linear subspaces of a Hilbert space. Since quantum logic is an intrinsic logic, i.e. the logic of the quantum world, (cf. 1) it is an important problem to develop mathematics based on quantum logic, more specifically set theory based on quantum logic. It is also a challenging problem for logicians since quantum logic is drastically different from the classical logic or the intuitionistic logic and consequently mathematics based on quantum logic is extremely difficult. On the other hand, mathematics based on quantum logic has a very rich mathematical content. This is clearly shown by the fact that there are many complete Boolean algebras inside quantum logic. For each complete Boolean algebra B, mathematics based on B has been shown by our work on Boolean valued analysis 4, 5, 6 to have rich mathematical meaning. Since mathematics based on B can be considered as a sub-theory of mathematics based on quantum logic, there is no doubt about the fact that mathematics based on quantum logic is very rich. The situation seems to be the following. Mathematics based on quantum logic is too gigantic to see through clearly.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Birkhoff and J. von Neumann, The logic of quantum mechanics. Annals of Mathematics 37 (1936), pp. 823–843.
M. Davis, A relativity principle in quantum mechanics. Int. J. of Theoretical Physics 16 (1977), pp. 867–874.
G. Kalmbach, “Orthomodular Lattice”, (to appear).
G. Takeuti, “Two Applications of Logic to Mathematics”, Princeton University Press, Princeton (1978).
G. Takeuti, Boolean valued analysis “Lecture Notes in Mathematics 753”, Applications of Sheaves, Fourman, Mulvey and Scott, eds.. Springer, Berlin-New York, (1979), pp. 714–731.
G. Takeuti, A transfer principle in harmonic analysis. Journal of Symbolic Logic 44 (1979), pp. 417–440.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Plenum Press, New York
About this chapter
Cite this chapter
Takeuti, G. (1981). Quantum Set Theory. In: Beltrametti, E.G., van Fraassen, B.C. (eds) Current Issues in Quantum Logic. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-3228-2_19
Download citation
DOI: https://doi.org/10.1007/978-1-4613-3228-2_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-3230-5
Online ISBN: 978-1-4613-3228-2
eBook Packages: Springer Book Archive