 But Zhi Wei Sun showed that the problem for integers is unsolvable even for equations with no more than 11 unknowns.Martin Davis studied algorithmic questions involving the number of solutions of a Diophantine equation.Hilbert's tenth problem asks whether or not that number is 0.