Hilbert's tenth problem for fields of rational functions over finite fields (Q910434)

Let F be a finite field of characteristic \(p>2\) and F(t) the field of rational functions in the variable t with coefficients in F. It is proved that the existential theory of F(t) in the language \(\{+,\cdot,0,1,t\}\) is undecidable, and so, there is no algorithm to solve arbitrary polynomial equations over F(t); this is an analogue to Hilbert's tenth problem for the case of a function field. Due to the similarities between \({\mathbb{Q}}\) (the field of rationals) and the common properties of function fields over finite fields, when it comes to the solvability of diophantine equations, this result seems to suggest that the analogue of Hilbert's tenth problem for \({\mathbb{Q}}\) has a negative answer.