Can constructive mathematics be applied in physics?

DOI10.1023/A:1004420413391zbMath0946.03074MaRDI QIDQ1818378

Douglas S. Bridges

Publication date: 22 October 2000

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsunbounded operatorsquantum mechancisconstructive analogue of Gleason's theorem

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Constructive and recursive analysis (03F60) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Constructive operator theory (47S30) Constructive functional analysis (46S30)

Related Items (4)

Constructibility of the universal wave function ⋮ Stable Philosophical Systems and Radical Anti-realism ⋮ A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ What the Applicability of Mathematics Says About Its Philosophy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive look at positive linear functionals on L(H)
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Constructing extensions of ultraweakly continuous linear functionals
• Constructive mathematics and unbounded operators -- a reply to Hellman
• Gleason's theorem is not constructively provable
• Intuitionism As Generalization
• An elementary proof of Gleason's theorem
• Constructing ultraweakly continuous functionals on ℬ(ℋ)

This page was built for publication: Can constructive mathematics be applied in physics?