Gleason's theorem has a constructive proof
From MaRDI portal
The paper deals with the problem of finding a constructive proof of Gleason's theorem (stating that if \(f\) is a nonnegative function on the unit sphere with the property that \(f({\mathbf x})+ f({\mathbf y})+ f({\mathbf z})\) is a fixed constant for each triple \({\mathbf x}\), \({\mathbf y}\), \({\mathbf z}\) of mutually orthogonal unit vectors, then \(f\) is a quadratic form). Some solutions of this problem and the following discussions that appeared in the Journal of Philosophical Logic are examined.
Recommendations
Cites work
- A constructive formulation of Gleason's theorem
- A constructive look at positive linear functionals on L(H)
- A constructive proof of Gleason's theorem
- An elementary proof of Gleason's theorem
- Constructive mathematics and unbounded operators -- a reply to Hellman
- Diagonalization of continuous matrices as a representation of intuitionistic reals
- Gleason's theorem is not constructively provable
- scientific article; zbMATH DE number 3128586 (Why is no real title available?)
- Partial differential equations. 3rd ed
Cited in
(3)
This page was built for publication: Gleason's theorem has a constructive proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582232)
