As shown in Jones (1982), it is undecidable whether the equation below has a solution over the positive integers for given positive integers *x* and *v:*

That equation corresponds to the 19-equation system from Jones' Theorem 3 (1982). Jones' system of equations

* L*₁ = *R*₁, *L*₂ = *R*₂, …, *L*₁₈ = *R*₁₈, *L*ᵥ = *R*ᵥ

is equivalent to:

(*L*₁ – *R*₁)² + (*L*₂ – *R*₂)² + … + (*L*₁₈ – *R*₁₈)² + (*L*ᵥ – *R*ᵥ)² = 0

The single equation above has a solution just when *x* is a member of the *v*th semidecidable set, with *v* representing the index of each semidecidable set listed in an order determined by the equation. Some semidecidable sets are not decidable. Therefore, an algorithm capable of deciding the solvability of the equation for any given *x* and *v* would be able to decide membership in undecidable sets.

Reference: Jones, James P. (1982). Universal Diophantine Equation. *The Journal of Symbolic Logic*, 47(3), 549-571. https://doi.org/10.2307/2273588.

## No comments:

## Post a Comment