A constructive proof of Gleason's theorem
Gleason's theorem states that any totally additive measure on the closed subspaces of a Hilbert space of dimension greater than two is given by a positive operator of trace class. \textit{R. Cooke}, \textit{M. Keane} and \textit{W. Moran} [Math. Proc. Camb. Philos. Soc. 98, 117-128 (1985; Zbl 0575.46051)] gave a proof that is elementary in the sense that unlike the original proof it doesn't appeal to the theory of representations of the orthogonal group. However, this elementary proof was nonconstructive. Therefore, the authors follow the general outline of Gleason's proof, modify some arguments of Cooke, Keane and Moran and give a constructive proof of Gleason's theorem.
- A constructive formulation of Gleason's theorem
- A constructive look at positive linear functionals on L(H)
- An elementary proof of Gleason's theorem
- 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?)
- scientific article; zbMATH DE number 3668602 (Why is no real title available?)
- A constructive proof of the Gohberg-Semencul formula
- Gleason-type theorem for linear spaces over the field of four elements
- A constructive formulation of Gleason's theorem
- A constructive proof of the Gelfand--Kolmogorov theorem
- Gleason's theorem has a constructive proof
- Quantum value indefiniteness
- Complex Gleason measures and the Nemytsky operator
- Constructibility of the universal wave function
- Gleason's theorem is not constructively provable
- scientific article; zbMATH DE number 3866255 (Why is no real title available?)
- Some remarks on Gleason measures
- An elementary proof of Gleason's theorem
- scientific article; zbMATH DE number 953400 (Why is no real title available?)
- A constructive proof of Masser’s Theorem
- Quantum cognition and bounded rationality
- Pluralism in mathematics
- A constructive proof of the Chang-Marshall theorem
- Indeterminism in physics and intuitionistic mathematics
- Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem
- On Gleason's theorem without Gleason
This page was built for publication: A constructive proof of Gleason's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1283029)
