Search

Your search keyword '"03D25, 11D25"' showing total 1 results
Start Over Descriptor "03D25, 11D25"
1 results on '"03D25, 11D25"'

1. Six equations in search of a finite-fold-ness proof

Author

Cantone, Domenico, Cuzziol, Luca, and Omodeo, Eugenio G.

Subjects
Mathematics - Number Theory, Mathematics - Logic, 03D25, 11D25
Abstract

By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule-them-all' equations: proving that one of them has only a finite number of integer solutions would suffice to ensure that each recursively enumerable set admits a finite-fold polynomial Diophantine representation.

Published
2023

Catalog

Books, media, physical & digital resources
See catalog results