Kochen–Specker theorem

Target entity: Kochen–Specker theorem
Context triple: [Ernst Specker, knownFor, Kochen–Specker theorem]

• A. Gleason’s theorem
  Gleason’s theorem is a foundational result in the mathematical formulation of quantum mechanics that characterizes all probability measures on the lattice of projection operators in a Hilbert space, effectively justifying the Born rule.
• B. Clauser–Horne–Shimony–Holt inequality
  The Clauser–Horne–Shimony–Holt inequality is a key formulation of Bell's inequality used in quantum mechanics to test the incompatibility of local hidden variable theories with the predictions of quantum entanglement.
• C. Frauchiger–Renner paradox
  The Frauchiger–Renner paradox is a thought experiment in quantum foundations that extends Wigner’s friend scenario to argue that standard quantum theory cannot consistently describe its own use by multiple observers.
• D. Einstein–Podolsky–Rosen paradox
  The Einstein–Podolsky–Rosen paradox is a thought experiment that challenges the completeness of quantum mechanics by highlighting the strange, nonlocal correlations predicted for entangled particles.
• E. Clauser–Horne inequality
  The Clauser–Horne inequality is a fundamental Bell-type inequality in quantum mechanics used to experimentally test local realism against the predictions of quantum entanglement.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Kochen–Specker theorem
Target entity description: The Kochen–Specker theorem is a foundational result in quantum mechanics showing that it is impossible to assign consistent, noncontextual definite values to all quantum observables, thereby ruling out a broad class of hidden-variable theories.

• A. Gleason’s theorem
  Gleason’s theorem is a foundational result in the mathematical formulation of quantum mechanics that characterizes all probability measures on the lattice of projection operators in a Hilbert space, effectively justifying the Born rule.
• B. Clauser–Horne–Shimony–Holt inequality
  The Clauser–Horne–Shimony–Holt inequality is a key formulation of Bell's inequality used in quantum mechanics to test the incompatibility of local hidden variable theories with the predictions of quantum entanglement.
• C. Frauchiger–Renner paradox
  The Frauchiger–Renner paradox is a thought experiment in quantum foundations that extends Wigner’s friend scenario to argue that standard quantum theory cannot consistently describe its own use by multiple observers.
• D. Einstein–Podolsky–Rosen paradox
  The Einstein–Podolsky–Rosen paradox is a thought experiment that challenges the completeness of quantum mechanics by highlighting the strange, nonlocal correlations predicted for entangled particles.
• E. Clauser–Horne inequality
  The Clauser–Horne inequality is a fundamental Bell-type inequality in quantum mechanics used to experimentally test local realism against the predictions of quantum entanglement.
• F. None of above. chosen