A related question might be, what's the difference between mathematical (Godel), computational (Turing,) and physical (Yang-Mills) undecideabilty/computability?