# Talk:Hilbert's tenth problem

WikiProject Mathematics (Rated B-class, Mid-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 B Class
 Mid Priority
Field: Foundations, logic, and set theory (historical)

## Contents

The article claims:

The equation
${\displaystyle p(x_{1},\ldots ,x_{k})=0}$
where ${\displaystyle p}$ is a polynomial of degree ${\displaystyle d}$ is solvable in rational numbers if and only if
${\displaystyle (z+1)^{d}\;p\left({\frac {x_{1}}{z+1}},\ldots ,{\frac {x_{k}}{z+1}}\right)=0}$
is solvable in natural numbers.

This cannot be true. x+1=0 is solvable in rational numbers, but x+z+1=0 is not solvable in natural numbers. 141.35.26.61 03:41, 21 January 2007 (UTC)

I suspect the intent was to solve the original equation over the positive rationals. But I've changed "naturals" to "integers" in the article. Ben Standeven 05:14, 7 April 2007 (UTC)
It didn't work that way either; in your version, the case z=0 caused problems. I think I've fixed it now. 141.35.26.61 12:28, 10 April 2007 (UTC)

I removed this part that makes no sense : a) the term "non negative" appears randomly while we are talking about rings, and has nothing to do with the discussion which seems to be integers vs rational numbers b) the idea to change a rational equation in the integer equation ${\displaystyle (z+1)^{d}\;p\left({\frac {x_{1}}{z+1}},\ldots ,{\frac {x_{k}}{z+1}}\right)=0}$ only shows that if there was an algorithm for problems over Z there would also be an algorithm for problems over Q. Since there is no algorithm for problems over Z, what is the point of mentioning this ? c) This may confuse the reader to think that Hilbert's problem over Q is solved, while it is not cf for example http://math.mit.edu/~poonen/papers/aws2003.pdf Section 12 --194.214.160.170 (talk) 16:04, 4 November 2015 (UTC)

## Flaw in Article

There is no meaning for ${\displaystyle p(a,x_{1},\ldots ,x_{k})=0}$ A student that knows about polinomials may understand the article until (s)he finds such a notation with no reference to its meaning and much less its discussion of "parameters"

"...with integer coefficients such that the set of values of a for which the equation

   p(a,x_1,\ldots,x_n)=0


has solutions in natural numbers is not computable. So, not only is there no general algorithm for testing Diophantine equations for solvability, even for this one parameter family of equations, there is no algorithm ..."

For lack of refences (s)he simply gets lost.

If the article is just for those who know about it the What is the purpose of the article? —Preceding unsigned comment added by Siniestra (talkcontribs) 22:17, 21 November 2008 (UTC)

I've added a sentence to the intro, explaining this notation and the concept of Diophantine equations. That seems to be a prerequisite to understanding this article, so I don't think we need much detail.Ben Standeven (talk) 15:26, 31 March 2009 (UTC)

## EXP formula

What is the Diophantine equation of EXP? --77.125.2.128 (talk) 14:46, 14 September 2009 (UTC)

## polynomial

From the article:

There exists a polynomial ${\displaystyle p(a,n,x_{1},\ldots ,x_{k})}$ such that, given any Diophantine set ${\displaystyle S}$ there is a number ${\displaystyle n_{0}}$ such that
${\displaystyle S=\{\,a\mid \exists x_{1},\ldots ,x_{k}[p(a,n_{0},x_{1},\ldots ,x_{k})=0]\,\}.}$

The question: had someone wrote down such a polynomial? --84.229.245.201 (talk) 08:48, 28 December 2011 (UTC)

## Extremely poor writing

The section Formulation begins as follows:

"The words "process" and "finite number of operations" have been taken to mean that Hilbert was asking for an algorithm. The term "rational integer" simply refers to the integers, positive, negative or zero: 0, ±1, ±2, ... . So Hilbert was asking for a general algorithm to decide whether a given polynomial Diophantine equation with integer coefficients has a solution in integers. Such an equation has the following form:

${\displaystyle p(x_{1},x_{2},\ldots ,x_{n})=0.}$

The answer to the problem is now known to be in the negative: no such general algorithm can exist."

No, the equation does not have the "following form" when the expression

${\displaystyle p(x_{1},x_{2},\ldots ,x_{n})}$

is left unqualified.

It also does not have the "following form" at all, since a "Diophantine equation" does not necessarily have a 0 on one side of the equation.

It is equivalent to an equation of the form displayed when

${\displaystyle p(x_{1},x_{2},\ldots ,x_{n})}$

is described as a polynomial with integer coefficients in the variables

${\displaystyle x_{1},x_{2},\ldots ,x_{n}.}$

Daqu (talk) 21:37, 7 April 2015 (UTC)