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

DOI10.1007/BF01049303MaRDI QIDQ1802394zbMATH OpenFDO

Authors Geoffrey Hellman

Publication date 19 August 1993

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

zbMATH Keywords

quantum mechanicsconstructive mathematicsunbounded operatorspectral theoremconstructive functional analysis

Mathematics Subject Classification ID

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

Recommendations

• Can constructive mathematics be applied in physics?
• Located Operators
• Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges
• Gleason's theorem is not constructively provable
• Toward a constructive theory of unbounded linear operators

Cites work

• scientific article; zbMATH DE number 3116942 (Why is no real title available?)
• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 3724444 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 1329018 (Why is no real title available?)
• scientific article; zbMATH DE number 3007274 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3266514 (Why is no real title available?)
• scientific article; zbMATH DE number 3278249 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Constructive measure theory
• Dummett's case for intuitionism
• Gleason's theorem is not constructively provable
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• The Spectra of Subnormal Operators
• The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not

Cited in

(11)

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

This page was built for publication: Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem

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