Quantum nonlocality without hidden variables: An algorithmic approach

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.