Definition:Hilbert 23/10

Algorithm to determine whether Polynomial Diophantine Equation has Integer Solution
There is no algorithm to determine whether a given polynomial Diophantine equation with integer coefficients has an integer solution.