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

DOI10.1007/BF01049303zbMATH Open0801.03040MaRDI QIDQ1802394FDOQ1802394

Authors: Geoffrey Hellman 

Publication date: 19 August 1993

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

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

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)

Cites Work

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

Cited In (11)

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

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)