John Stewart Bell (1928-1990), a truly deep and serious thinker, was one of the leading physicists of the 20th century. He became famous for his discovery that quantum mechanics implies that nature is nonlocal, i.e., that there are physical influences between events that propagate faster than light. From 1960 until his death Bell worked at CERN in Geneva on the physics of particle accelerators,...

A proof of Bell's theorem without inequalities and involving only two observers is given by suitably extending a proof of the Bell-Kochen-Specker theorem due to Mermin. This proof is generalized to obtain an inequality-free proof of Bell's theorem for a set of n Bell states (with n odd) shared between two distant observers. A generalized CHSH inequality is formulated for n Bell states shared sy...

A proof of Bell's theorem without inequalities and involving only two observers is given by suitably extending a proof of the Bell-Kochen-Specker theorem due to Mermin. This proof is generalized to obtain an inequality-free proof of Bell's theorem for a set of n Bell states (with n odd) shared between two distant observers. A generalized CHSH inequality is formulated for n Bell states shared sy...

According to Bell’s theorem a large class of hidden-variable models obeying Bell’s notion of local causality conflict with the predictions of quantum mechanics. Recently, a Bell-type theorem has been proven using a weaker notion of local causality, yet assuming the existence of perfectly correlated event types. Here we present a similar Bell-type theorem without this latter assumption. The deri...

The first part of this paper contains an introduction to Bell inequalities and Tsirelson’s theorem for the non-specialist. The next part gives an explicit optimum construction for the “hard” part of Tsirelson’s theorem. In the final part we describe how upper bounds on the maximal quantum violation of Bell inequalities can be obtained by an extension of Tsirelson’s theorem, and survey very rece...