Quantum pseudo-telepathy and the kochen-specker theorem

There are different approaches to proving the impossibility of classical hidden-variable explanations of quantum-mechanical behavior. Whereas Kochen and Specker proved that a three-or higher-dimensional quantum-mechanical system cannot be "classically" prepared for all possible alternative measurements in a consistent way, Bell showed that the behavior of certain two-partite systems is nonlocal, i.e., inexplicable by shared classical information. We show a close connection between deterministic manifestations of such nonlocality-called "pseudotelepathy" games-and Kochen and Specker's theorem: Every such game leads to a Kochen-Specker contradiction, and vice versa