Constructive mathematics and quantum physics

Citation
D. Bridges et K. Svozil, Constructive mathematics and quantum physics, INT J THEOR, 39(3), 2000, pp. 503-515
Citations number
25
Categorie Soggetti
Physics
Journal title
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
ISSN journal
00207748 → ACNP
Volume
39
Issue
3
Year of publication
2000
Pages
503 - 515
Database
ISI
SICI code
0020-7748(200003)39:3<503:CMAQP>2.0.ZU;2-Y
Abstract
We discuss same aspects of quantum logic within Bishop's constructive mathe matics. In particular, we present a set of axioms that abstracts the constr uctive properties of the lattices of subspaces and projections on a Hilbert space.