Journal of Philosophical Logic 29 (4):425-431 (2000)
|Abstract||Gleason's theorem for í µí°‘Â³ 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|
|Keywords||constructive mathematics Gleason"s theorem principal axes theorem|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Helen Billinge (1997). A Constructive Formulation of Gleason's Theorem. Journal of Philosophical Logic 26 (6):661-670.
Ehud Hrushovski & Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Daniele Mundici (1994). A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic. Journal of Symbolic Logic 59 (2):596-602.
Giovanna Corsi (1999). Bull's Theorem by the Method of Diagrams. Studia Logica 62 (2):163-176.
Itamar Pitowsky (2004). Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. Studies in History and Philosophy of Science Part B 35 (2):177-194.
Added to index2009-01-28
Total downloads4 ( #188,769 of 722,744 )
Recent downloads (6 months)1 ( #60,247 of 722,744 )
How can I increase my downloads?