Gleason's theorem has a constructive proof (Q1582232)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gleason's theorem has a constructive proof |
scientific article |
Statements
Gleason's theorem has a constructive proof (English)
0 references
26 July 2001
0 references
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.
0 references
constructive proof of Gleason's theorem
0 references