Abstract

Hilbert's tenth problem asks for an algorithm to determine the solvability in integers of diophantine
equations over Z. We prove that such an algorithm does not exist, and prove analogous statements
for equations over polynomial rings, for equations over rings of integers of quadratic extensions
of Q and for equations over rational function
... read more