Abstract
In 1961 Martin Davis, Hilary Putnam and Julia Robinson [2] proved that every recursively enumerable set W is exponential diophantine, i.e. can be represented in the formHere P is a polynomial with integer coefficients and the variables range over positive integers.In 1970 Ju. V. Matijasevič used this result to establish the unsolvability of Hilbert's tenth problem. Matijasevič proved [11] that the exponential relation y = 2x is diophantine This together with [2] implies that every recursively enumerable set is diophantine, i.e. every r.e. set Wcan be represented in the formFrom this it follows that there does not exist an algorithm to decide solvability of diophantine equations. The nonexistence of such an algorithm follows immediately from the existence of r.e. nonrecursive sets.Now it is well known that the recursively enumerable sets W1, W2, W3, … can be enumerated in such a way that the binary relation x ∈ Wv is also recursively enumerable. Thus Matijasevič's theorem implies the existence of a diophantine equation U such that for all x and v,
Publisher
Cambridge University Press (CUP)
Reference26 articles.
1. Enumerable sets are diophantine;Matijasevič;Doklady Akademii Nauk SSSR,1970
2. The Decision Problem for Exponential Diophantine Equations
3. Ondiophantine representation of the sequence of solutions of Pell's equation;Kosovskiǐ;Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Matematičeskogo Instituta im. V.A. Steklova Akademii Nauk SSSR,1971
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Undecidable problems in quantum field theory;International Journal of Theoretical Physics;2023-09-01
2. Embedding of provably unsolvable problems into stream ciphers;Matematicheskie Voprosy Kriptografii [Mathematical Aspects of Cryptography];2023-03
3. The Riemann Hypothesis As the Parity of Special Binomial Coefficients;Doklady Mathematics;2022-12
4. Prime Representing Polynomial;Formalized Mathematics;2021-12-01
5. Further results on Hilbert’s Tenth Problem;Science China Mathematics;2020-12-28