A Proof of Negative Answer to Hilbert's 10th Problem

[1]  A. Baker,et al.  Contributions to the theory of diophantine equations I. On the representation of integers by binary forms , 1968, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[2]  Julia Robinson Existential definability in arithmetic , 1952 .

[3]  Martin D. Davis,et al.  Arithmetical problems and recursively enumerable predicates , 1953, Journal of Symbolic Logic.

[4]  H. Putnam,et al.  The Decision Problem for Exponential Diophantine Equations , 1961 .