Schütte's tautology and the Kochen-Specker theorem
暂无分享，去创建一个
I present a new 33-ray proof of the Kochen and Specker “no-go” hidden variable theorem in ℋ3, based on a classical tautology that corresponds to a contingent quantum proposition in ℋ3 proposed by Kurt Schütte in an unpublished letter to Specker in 1965. 1 discuss the relation of this proof to a 31-ray proof by Conway and Kochen, and to a 33-ray proof by Peres.
[1] L. Ballentine,et al. Quantum Theory: Concepts and Methods , 1994 .
[2] K. Svozil. A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability , 1995 .
[3] Asher Peres,et al. Two simple proofs of the Kochen-Specker theorem , 1991 .
[4] Josef Tkadlec,et al. Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker‐type constructions , 1996 .