Constructive mathematics and quantum physics

被引:5
|
作者
Bridges, D
Svozil, K
机构
[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand
[2] Tech Univ Vienna, Inst Theoret Phys, Vienna, Austria
关键词
Field Theory; Elementary Particle; Quantum Field Theory; Quantum Logic; Constructive Mathematic;
D O I
10.1023/A:1003613131948
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
We discuss same aspects of quantum logic within Bishop's constructive mathematics. In particular, we present a set of axioms that abstracts the constructive properties of the lattices of subspaces and projections on a Hilbert space.
引用
收藏
页码:503 / 515
页数:13
相关论文
共 50 条