Algorithm to determine whether Polynomial Diophantine Equation has Integer Solution

Theorem
There is no algorithm to determine whether a given polynomial Diophantine equation with integer coefficients has an integer solution.