Specker

For other results to the same effect, see Kochen and Specker [1967], Gudder [1970], Holevo [1982], and, in a different direction, Pitowsky

Puppet X: 1 2009

Related Entries quantum mechanics | quantum mechanics: Kochen-Specker theorem | quantum theory: von Neumann vs. Dirac

Puppet X: 1 2009

The same negative answer is provided much more simply by John Bell (1966) (but without the complete catalogue of probability functions achieved by Gleason), who also provides a positive answer to the question in the case of dimensionality 2; and independently these results were also achieved by Kochen and Specker (1967).

Bell's Theorem Shimony, Abner 2009

The hidden-variables theories of Kochen and Specker (1967) are explicitly of this type.

Bell's Theorem Shimony, Abner 2009

(It appears, in an infinitary form, as Mackey's axiom V; a related but stronger condition appears in the definition of a partial Boolean algebra in the work of Kochen and Specker [1965].)

Puppet X: 1 2009

The first variant is due independently to Kochen and Specker (1967),

Bell's Theorem Shimony, Abner 2009

EnlargeBy Francis Specker, APAll-Star Nomar Garciaparra is burning up the National League with a .358 average.

USATODAY.com - Pierzynski, Garciaparra voted last-minute All-Stars 2006

Again, a classical result of Specker establishes the existence of a model of NF in a suitable version of simple type theory with a formal counterpart of typical ambiguity.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

Remarkably, NF refutes the axiom of choice by a classical theorem of Specker.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

But, as Bacciagaluppi (1995) and Clifton (1996a) have shown, such property assignment will be inconsistent: It will be subject to a Kochen and Specker-type contradiction.

Action at a Distance in Quantum Mechanics Berkovitz, Joseph 2007