Wim Benthem wrote: > On 25 Oct 2005 08:24:22 -0700, "Pubkeybreaker" > <Robert_silverman@raytheon.com> wrote: > > >>Yes, he is sure. The solution to Hilbert's 10th problem by Y. >>Matiyesevich (whom I once had the pleasure of meeting) and J. Robinson >>(who I had also met before her untimely >>death) showed that the question of whether a given diophantine >>equation has a >>root is undecidable. > > > I thought "root" was only used for a solution of an equation with > one variable. And then determining wether it has a root is easy.