Constructive mathematics and unbounded operators -- a reply to Hellman

DOI10.1007/BF01052602zbMath0854.03055MaRDI QIDQ1902560

Douglas S. Bridges

Publication date: 13 January 1997

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

zbMATH Keywords

constructive mathematicsunbounded closed linear operators on a Hilbert space

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Other constructive mathematics (03F65) Constructive operator theory (47S30)

Related Items (6)

Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges ⋮ 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 ⋮ Gleason's theorem has a constructive proof

Cites Work

• Undecidability and incompleteness in classical mechanics
• Constructive compact operators on a Hilbert space
• Theories of computational complexity
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Gleason's theorem is not constructively provable
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive mathematics and unbounded operators -- a reply to Hellman