TY - INPR
A1 - Döring, Andreas
T1 - Kochen-Specker theorem for von Neumann algebras
N2 - The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type I_n factor as algebra of observables, including I_infinity. Afterwards, we give a proof of the Kochen-Specker theorem for an arbitrary von Neumann algebra R without summands of types I_1 and I_2, using a known result on two-valued measures on the projection lattice P(R). Some connections with presheaf formulations as proposed by Isham and Butterfield are made.
KW - Kochen-Specker theorem
KW - von Neumann algebras
Y1 - 2005
UR - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4374
UR - https://nbn-resolving.org/urn:nbn:de:hebis:30-11183
N1 - Preprint, International Journal of Theoretical Physics volume 44.2005, S. 139–160
ER -