Abstract
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.
Similar content being viewed by others
References
S. Kochen and E. P. Specker.J. Math. Mech. 17, 59–87 (1967).
A. Peres,Quantum Theory: Concepts and Methods (Kluwer. Dordrecht, 1993), p. 197.
A. Peres,J. Phys. A: Math. Gen. 24, L175-L178 (1991), andQuantum Theory: Concepts and Methods (Kluwer, Dordrecht, 1993), pp. 196–199.
E. Clavadelscher-Seeberger,Eine Partielle Praedikatenlogik (Eidgenossischen Technischen Hochschule, Zurich, 1983). See pp. 83–84.
K. Svozil, “A Conslructivist manifesto for the physical sciences,” in W. D. Schimanovich. E. Köhler, and F. Stadler (eds.),The Foundational Debate, Complexity and Constructivity in Mathematics and Physics (Kluwer, Dordrecht, 1995), pp. 65–88.
K. Svozil and J. Tkadlec, “Greechie diagrams, nonexistence of measures in quantum logics and Kochen-Specker type constructions,” manuscript. 1996.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bub, J. Schütte's tautology and the Kochen-Specker theorem. Found Phys 26, 787–806 (1996). https://doi.org/10.1007/BF02058633
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02058633