| Revision as of 15:02, 15 April 2008 editWMdeMuynck (talk | contribs)Extended confirmed users506 edits some expansion of the article← Previous edit | Revision as of 15:07, 15 April 2008 edit undoWMdeMuynck (talk | contribs)Extended confirmed users506 editsm minor editNext edit → | ||
| Line 1: | Line 1: | ||
| In ], the '''Kochen-Specker theorem'''<ref>S. Kochen and E.P. Specker, | In ], the '''Kochen-Specker theorem'''<ref>S. Kochen and E.P. Specker, | ||
| "The problem of hidden variables in quantum mechanics", ''Journal of Mathematics and Mechanics'' '''17''', 59-87 (1967).</ref> is a certain "no go" theorem proved by ] and ] in ]. It places certain constraints on the permissible types of ] theories which try to explain the apparent randomness of ] as a deterministic theory featuring hidden states. The theorem is a complement to ]. | |||
| The theorem proves that there is a contradiction between two basic assumptions of hidden variable theories: that all observables have definite values at any given time, and that the values of those variables are intrinsic and independent of the device used to measure them. The contradiction is generated by the fact that quantum mechanical observables need not be ], making it impossible to embed the ] of these observables in a (classical) commutative algebra. | The theorem proves that there is a contradiction between two basic assumptions of hidden variable theories: that all observables have definite values at any given time, and that the values of those variables are intrinsic and independent of the device used to measure them. The contradiction is generated by the fact that quantum mechanical observables need not be ], making it impossible to embed the ] of these observables in a (classical) commutative algebra. | ||
Revision as of 15:07, 15 April 2008
In quantum mechanics, the Kochen-Specker theorem is a certain "no go" theorem proved by Simon Kochen and Ernst Specker in 1967. It places certain constraints on the permissible types of hidden variable theories which try to explain the apparent randomness of quantum mechanics as a deterministic theory featuring hidden states. The theorem is a complement to Bell's inequality.
The theorem proves that there is a contradiction between two basic assumptions of hidden variable theories: that all observables have definite values at any given time, and that the values of those variables are intrinsic and independent of the device used to measure them. The contradiction is generated by the fact that quantum mechanical observables need not be commutative, making it impossible to embed the algebra of these observables in a (classical) commutative algebra.
The Kochen-Specker proof demonstrates the impossibility of Einstein's assumption, made in the Einstein-Podolsky-Rosen paper, that quantum mechanical observables represent `elements of physical reality'. More generally does the theorem exclude hidden variable theories requiring `elements of physical reality' to be noncontextual (i.e. independent of the measurement arrangement).
References
- S. Kochen and E.P. Specker, "The problem of hidden variables in quantum mechanics", Journal of Mathematics and Mechanics 17, 59-87 (1967).
External links
 | This quantum mechanics-related article is a stub. You can help Misplaced Pages by expanding it. |