Hilbert's tenth problem One of Hilbert's 23 problems: the problem posed was on the existence of an algorithm to determine whether or not a given Diophantine equation has solutions. It was proved by Y. Matijasevich in 1970 that no such algorithm exists.
|