Studies in History and Philosophy of Science Part B 35 (2):177-194 (2004)
|Abstract||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)|
|Through your library||Configure|
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 downloads15 ( #85,870 of 722,682 )
Recent downloads (6 months)1 ( #60,006 of 722,682 )
How can I increase my downloads?