Skip to main content
Log in

Schütte's tautology and the Kochen-Specker theorem

  • Part III. Invited Papers Dedicated to Max Jammer
  • Published:
Foundations of Physics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. S. Kochen and E. P. Specker.J. Math. Mech. 17, 59–87 (1967).

    Google Scholar 

  2. A. Peres,Quantum Theory: Concepts and Methods (Kluwer. Dordrecht, 1993), p. 197.

    Google Scholar 

  3. A. Peres,J. Phys. A: Math. Gen. 24, L175-L178 (1991), andQuantum Theory: Concepts and Methods (Kluwer, Dordrecht, 1993), pp. 196–199.

    Google Scholar 

  4. E. Clavadelscher-Seeberger,Eine Partielle Praedikatenlogik (Eidgenossischen Technischen Hochschule, Zurich, 1983). See pp. 83–84.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. K. Svozil and J. Tkadlec, “Greechie diagrams, nonexistence of measures in quantum logics and Kochen-Specker type constructions,” manuscript. 1996.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02058633

Keywords

Navigation