  Is quantum mechanics (QM) local or nonlocal? Different
formulations/interpretations (FI) of QM, with or without hidden variables,
suggest different answers. Different FI's can be viewed as different
algorithms, which leads us to propose an algorithmic definition of locality
according to which a theory is local if and only if there exists at least one
FI in which all irreducible elements of that FI are local. The fact that no
such FI of QM is known strongly supports quantum nonlocality.
