Constructive Mathematics and Quantum Physics |
| |
| Authors: | Douglas Bridges Karl Svozil |
| |
| Institution: | (1) Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand;(2) Institut für Theoretische Physik, Technische Universität, Vienna, Austria |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
