Abstract
Gleason's theorem for R 3 says that if f is a nonnegative function on the unit sphere with the property that f(x) + f(y) + f(z) is a fixed constant for each triple x,y,z of mutually orthogonal unit vectors, then f is a quadratic form. We examine the issues raised by discussions in this journal regarding the possibility of a constructive proof of Gleason"s theorem in light of the recent publication of such a proof.
REFERENCES
Billinge, Helen (1997) A constructive formulation of Gleason's theorem, J. Philosophical Logic 26, 661–670.
Bridges, Douglas (1981) A constructive look at positive linear functionals on ℒ(H)/, Pacific J. Math. 95, 11–25.
Bridges, Douglas (1995) Constructive mathematics and unbounded operators–a reply to Hellman, J. Philosophical Logic 24, 549–561.
Cooke, Roger, Michael Keane and William Moran (1985) An elementary proof of Gleason's theorem, Math. Proc. Camb. Phil. Soc. 98, 117–128.
Gleason, Andrew M. (1957) Measures on the closed subspaces of a Hilbert space, J. Math. Mech. 6, 885–893.
Hellman, Geoffrey (1993) Gleason's theorem is not constructively provable, J. Philosophical Logic 22, 193–203.
John, Fritz (1978) Partial Differential Equations, Springer-Verlag.
Richman, Fred, and Douglas Bridges (1999) A constructive proof of Gleason's theorem, Journal of Functional Analysis 162, 287–312.
Scedrov Andre (1986) Diagonalization of continuous matrices as a representation of the intuitionistic reals, Ann. Pure Appl. Logic 30, 201–206.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Richman, F. Gleason's Theorem Has a Constructive Proof. Journal of Philosophical Logic 29, 425–431 (2000). https://doi.org/10.1023/A:1004791723301
Issue Date:
DOI: https://doi.org/10.1023/A:1004791723301