  The strongest attack against quantum mechanics came in 1935 in the form of a
paper by Einstein, Podolsky and Rosen. It was argued that the theory of quantum
mechanics could not be called a complete theory of Nature, for every element of
reality is not represented in the formalism as such. The authors then put forth
a proposition: we must search for a theory where, upon knowing everything about
the system, including possible hidden variables, one could make precise
predictions concerning elements of reality. This project was ultimatly doomed
in 1964 with the work of Bell Bell, who showed that the most general local
hidden variable theory could not reproduce correlations that arise in quantum
mechanics. There exist mainly three forms of no-go theorems for local hidden
variable theories. Although almost every physicist knows the consequences of
these no-go theorems, not every physicist is aware of the distinctions between
the three or even their exact definitions. Thus we will discuss here the three
principal forms of no-go theorems for local hidden variable theories of Nature.
We will define Bell inequalities, Bell inequalities without inequalities and
pseudo-telepathy. A discussion of the similarities and differences will follow.
