Constructive mathematics and quantum physics

DOI10.1023/A:1003613131948MaRDI QIDQ1586444zbMATH OpenOpenAlexFDO

Authors Karl Svozil, Douglas Bridges

Publication date 14 November 2000

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1003613131948

zbMATH Keywords

lattices of subspacesset of axioms

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Can constructive mathematics be applied in physics?
• Hilbert's idea of a physical axiomatics: the analytical apparatus of quantum mechanics
• Quantum set theory
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• Constructive Mathematics

Cited in

(4)

• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Constructibility of the universal wave function
• A theory of local negation: The model and some applications
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

This page was built for publication: Constructive mathematics and quantum physics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1586444)