As of today, the question remains open as to whether the quaternary quartic equation 9 · (u^2 + 7 v^2)^2 − 7 · (r^2 + 7 s^2)^2 = 2 , (*) which M. Davis put forward in 1968, has only finitely many solutions in integers. If the answer were affirmative then—as noted by M. Davis, Yu. V. Matiyasevich, and J. Robinson in 1976—every r.e. set would turn out to admit a single-fold polynomial Diophantine representation. New candidate ‘rule-them-all’ equations, constructed by the same recipe which led to (*), are proposed in this paper.
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?
Domenico Cantone
;Eugenio Omodeo
2018-01-01
Abstract
As of today, the question remains open as to whether the quaternary quartic equation 9 · (u^2 + 7 v^2)^2 − 7 · (r^2 + 7 s^2)^2 = 2 , (*) which M. Davis put forward in 1968, has only finitely many solutions in integers. If the answer were affirmative then—as noted by M. Davis, Yu. V. Matiyasevich, and J. Robinson in 1976—every r.e. set would turn out to admit a single-fold polynomial Diophantine representation. New candidate ‘rule-them-all’ equations, constructed by the same recipe which led to (*), are proposed in this paper.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
preface+paper.pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Digital Rights Management non definito
Dimensione
740.56 kB
Formato
Adobe PDF
|
740.56 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
