Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Reference17 articles.
1. A constructive version of Banach's inverse mapping theorem;Ishihara;New Zealand Journal of Mathematics,1994
2. Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
3. Ye F. , Strict constructivism and the philosophy of mathematics, Ph.D. dissertation , Princeton University, 1999.
4. Varieties of Constructive Mathematics
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Objections to Atheism;A Companion to Atheism and Philosophy;2019-04-04
2. Bibliography;A Companion to Atheism and Philosophy;2019-04-04
3. Feferman on Computability;Outstanding Contributions to Logic;2017
4. Strict Finitism and the Logic of Mathematical Applications;SYNTH LIBR;2011
5. Hilbert Space;Strict Finitism and the Logic of Mathematical Applications;2011