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
indeterminacy2.pdf

Download (343kB)

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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Hrushovski, Ehud
Pitowsky, Itamar
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 15:11
Item ID: 1263
URI: http://philsci-archive.pitt.edu/id/eprint/1263

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item