David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
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.
D. M. Appleby (2005). The Bell–Kochen–Specker Theorem. Studies in History and Philosophy of Science Part B 36 (1):1-28.
Chris Isham & Jeremy Butterfield, A Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalised Valuations.
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.
John Hamilton, Chris Isham & Jeremy Butterfield, A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category.
Fred Richman (2000). Gleason's Theorem has a Constructive Proof. Journal of Philosophical Logic 29 (4):425-431.
Helen Billinge (1997). A Constructive Formulation of Gleason's Theorem. Journal of Philosophical Logic 26 (6):661-670.
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 downloads84 ( #55,993 of 1,940,948 )
Recent downloads (6 months)26 ( #19,808 of 1,940,948 )
How can I increase my downloads?