PhilSci Archive

Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem

Hrushovski, Ehud and Pitowsky, Itamar (2003) Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem. [Preprint]

[img]
Preview
PDF
Download (335Kb) | Preview

    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.


    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Preprint
    Additional Information: Read at the Robert Clifton Memorial Conference
    Keywords: Kochen and Specker's theorem, Gleason's theorem, Constructive mathematics
    Subjects: Specific Sciences > Physics > Quantum Mechanics
    Depositing User: Itamar Pitowsky
    Date Deposited: 31 Jul 2003
    Last Modified: 07 Oct 2010 11:11
    Item ID: 1263
    URI: http://philsci-archive.pitt.edu/id/eprint/1263

    Actions (login required)

    View Item

    Document Downloads