Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem

DOI10.1007/BF01049303zbMath0801.03040MaRDI QIDQ1802394

Geoffrey Hellman

Publication date: 19 August 1993

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

zbMATH Keywords

unbounded operatorconstructive mathematicsquantum mechanicsspectral theoremconstructive functional analysis

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Constructive and recursive analysis (03F60) Constructive operator theory (47S30)

Related Items

Constructibility of the universal wave function, Constructive mathematics and unbounded operators -- a reply to Hellman, Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Proofs and retributions, or: why Sarah can't take limits, Toward a constructive theory of unbounded linear operators, What the Applicability of Mathematics Says About Its Philosophy, Can constructive mathematics be applied in physics?, Constructive mathematics: a foundation for computable analysis, Cardinality without enumeration

Cites Work

• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
• Gleason's theorem is not constructively provable
• Dummett's case for intuitionism
• The Spectra of Subnormal Operators
• Constructive measure theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item