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
来源：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2000年 / 39卷 / 03期
关键词：
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 条
  • [41] Objectivity vs. Locality in Quantum Physics
    Stachow, Ernst-Walther
    [J]. FOUNDATIONS OF PHYSICS, 2010, 40 (9-10) : 1450 - 1475
  • [42] Selected topics of quantum computing for nuclear physics*
    Zhang, Dan-Bo
    Xing, Hongxi
    Yan, Hui
    Wang, Enke
    Zhu, Shi-Liang
    [J]. CHINESE PHYSICS B, 2021, 30 (02)
  • [43] Towards a modal logical treatment of quantum physics
    Pessoa, Osvaldo, Jr.
    [J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (01) : 139 - 147
  • [44] No-Go Theorems and the Foundations of Quantum Physics
    Andrea Oldofredi
    [J]. Journal for General Philosophy of Science, 2018, 49 : 355 - 370
  • [45] No-Go Theorems and the Foundations of Quantum Physics
    Oldofredi, Andrea
    [J]. JOURNAL FOR GENERAL PHILOSOPHY OF SCIENCE, 2018, 49 (03) : 355 - 370
  • [46] Quantum-Matter-Spacetime: Peter Mittelstaedt's Contributions to Physics and Its Foundations
    Busch, Paul
    Pfarr, Joachim
    Ristig, Manfred L.
    Stachow, Ernst-Walther
    [J]. FOUNDATIONS OF PHYSICS, 2010, 40 (9-10) : 1163 - 1170
  • [47] Automata Theory Based on Quantum Logic II
    Mingsheng Ying
    [J]. International Journal of Theoretical Physics, 2000, 39 : 2545 - 2557
  • [48] Lattices and Quantum Logics with Separated Intervals, Atomicity
    Zdenka Riecanova
    [J]. International Journal of Theoretical Physics, 1998, 37 : 191 - 197
  • [49] Automata theory based on quantum logic II
    Ying, MS
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (11) : 2545 - 2557
  • [50] Physics of the ATPase molecular motor
    S. Pikin
    W. Haase
    [J]. Journal of Experimental and Theoretical Physics, 2001, 92 : 174 - 178
12345