Gleason's theorem is not constructively provable
From MaRDI portal
Publication:2366249
DOI10.1007/BF01049261zbMath0785.03041MaRDI QIDQ2366249
Publication date: 29 June 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
halting problemhidden variablesclosed subspaces of a Hilbert spacegeneralized probability measuresquantum mechanical pure and mixed states
Constructive and recursive analysis (03F60) Applications of functional analysis in quantum physics (46N50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Constructive functional analysis (46S30)
Related Items
Pluralism in mathematics ⋮ Constructive mathematics and unbounded operators -- a reply to Hellman ⋮ A constructive formulation of Gleason's theorem ⋮ 1995 Annual Meeting of the Association for Symbol Logic ⋮ Indeterminism in physics and intuitionistic mathematics ⋮ Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem ⋮ Toward a constructive theory of unbounded linear operators ⋮ Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem ⋮ Can constructive mathematics be applied in physics? ⋮ A constructive proof of Gleason's theorem ⋮ Gleason's theorem has a constructive proof
Cites Work
This page was built for publication: Gleason's theorem is not constructively provable