Primes are nonnegative values of a polynomial in 10 variables

Hilbert's Tenth Problem is Unsolvable

Martin Davis · American Mathematical Monthly · 1973 · 373 citations

Computing, Computer Science, Mathematics +5

Existential definability in arithmetic

Julia Robinson · Transactions of the American Mathematical Society · 1952 · 99 citations · Full text

Natural Sciences, Mathematics, Algebra +7

Reduction of an arbitrary diophantine equation to one in 13 unknowns

Yuri Matijasevič, Julia Robinson · Acta Arithmetica · 1975 · 97 citations · Full text

Natural Sciences, Computer Science, Mathematics +6

Diophantine Representation of the Set of Prime Numbers

James P. Jones, Daihachiro Sato, Hideo Wada et al. · American Mathematical Monthly · 1976 · 89 citations

Natural Sciences, Mathematics, Number Theory +9

Arithmetical problems and recursively enumerable predicates

Martin Davis · Journal of Symbolic Logic · 1953 · 67 citations

Natural Sciences, Computer Science, Mathematics +6