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  -