Abstract
Hilbert's Tenth Problem (H10) for a ring R asks for an algorithm to decide correctly, for each $f\in\mathbb{Z}[X_{1},\dots,X_{n}]$, whether the diophantine equation $f(X_{1},...,X_{n})=0$ has a solution in R. The celebrated `Davis-Putnam-Robinson-Matiyasevich theorem' shows that {\bf H10} for $\mathbb{Z}$ is unsolvable, i.e.~there is no such algorithm. Since then, Hilbert's Tenth Problem
... read more