Hilbert's tenth problem (source code)

= Hilbert's tenth problem
{wiki=Hilbert's_tenth_problem}

Hilbert's tenth problem, proposed by mathematician David Hilbert in 1900, asks for an algorithm that, given a polynomial Diophantine equation—a polynomial equation where the variables are to be integers—will determine whether there are any integer solutions to that equation.