Journal of Symbolic Logic 65 (1):357-370 (2000)
|Abstract||We show that the following results in the classical theory of unbounded linear operators on Hilbert spaces can be proved within the framework of Bishop's constructive mathematics: the Kato-Rellich theorem, the spectral theorem, Stone's theorem, and the self-adjointness of the most common quantum mechanical operators, including the Hamiltonians of electro-magnetic fields with some general forms of potentials|
|Keywords||Constructive Functional Analysis Linear Operators Self-Adjointness Spectral Theorem Stone's Theorem|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
René David & Karim Nour (1995). Storage Operators and Directed Lambda-Calculus. Journal of Symbolic Logic 60 (4):1054-1086.
Richard Booth, Samir Chopra, Aditya Ghose & Thomas Meyer (2005). Belief Liberation (and Retraction). Studia Logica 79 (1):47 - 72.
Alexey Kryukov (2003). Coordinate Formalism on Abstract Hilbert Space: Kinematics of a Quantum Measurement. [REVIEW] Foundations of Physics 33 (3):407-443.
Justus Diller (2008). Functional Interpretations of Constructive Set Theory in All Finite Types. Dialectica 62 (2):149–177.
Daniele Mundici (1994). A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic. Journal of Symbolic Logic 59 (2):596-602.
Adrian Heathcote (1990). Unbounded Operators and the Incompleteness of Quantum Mechanics. Philosophy of Science 57 (3):523-534.
Geoffrey Hellman (1997). Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges. Journal of Philosophical Logic 26 (2):121-127.
Geoffrey Hellman (1993). Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem. [REVIEW] Journal of Philosophical Logic 22 (3):221 - 248.
Douglas S. Bridges (1995). Constructive Mathematics and Unbounded Operators — a Reply to Hellman. Journal of Philosophical Logic 24 (5):549 - 561.
Added to index2009-01-28
Total downloads4 ( #188,845 of 722,813 )
Recent downloads (6 months)0
How can I increase my downloads?