David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studies in History and Philosophy of Science Part B 35 (2):177-194 (2004)
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
J. S. Bell (2004). On the Problem of Hidden Variables in Quantum Mechanics. In Speakable and Unspeakable in Quantum Mechanics. Cambridge University Press 1--13.
Simon Kochen & E. P. Specker (1967). The Problem of Hidden Variables in Quantum Mechanics. Journal of Mathematics and Mechanics 17:59--87.
Itamar Pitowsky (2003). Betting on the Outcomes of Measurements: A Bayesian Theory of Quantum Probability. Studies in History and Philosophy of Science Part B 34 (3):395-414.
Citations of this work BETA
No citations found.
Similar books and articles
E. P. (1999). Two No-Go Theorems for Modal Interpretations of Quantum Mechanics. Studies in History and Philosophy of Science Part B 30 (3):403-431.
Helen Billinge (1997). A Constructive Formulation of Gleason's Theorem. Journal of Philosophical Logic 26 (6):661-670.
Fred Richman (2000). Gleason's Theorem has a Constructive Proof. Journal of Philosophical Logic 29 (4):425-431.
John Hamilton, Chris Isham & Jeremy Butterfield, A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category.
Jonathan Barrett & Adrian Kent (2004). Non-Contextuality, Finite Precision Measurement and the Kochen–Specker Theorem. Studies in History and Philosophy of Science Part B 35 (2):151-176.
Chris Isham & Jeremy Butterfield, A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations.
D. M. Appleby (2005). The Bell–Kochen–Specker Theorem. Studies in History and Philosophy of Science Part B 36 (1):1-28.
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 downloads58 ( #71,562 of 1,792,926 )
Recent downloads (6 months)23 ( #34,245 of 1,792,926 )
How can I increase my downloads?