Geodesic
Diophantine sets
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 27 (1972) no. 5, pp. 124-164

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper we give a detailed account of some results obtained by a group of specialists in mathematical logic in connection with an investigation of Hilbert's 10th problem. This problem was formulated in his well-known lecture [1], in the following way. “10. The problem of the solubility of diophantine equations. Given a Diophantine equation in arbitrary unknowns and with rational integral coefficients, to indicate a general method whereby it is possible to determine in a finite number of steps whether it is soluble in rational integers”. The theorem stating that no such method exists is one of the results expounded below. The technique developed to prove this theorem has made it possible to give a number of other interesting results connected with Diophantine equations. The author has striven to provide an account that is accessible to mathematicians unfamiliar with mathematical logic and having only an elementary knowledge of number theory; a compendium of necessary results from number theory is given in the appendix. 
@article{RM_1972_27_5_a2,
     author = {Yu. V. Matiyasevich},
     title = {Diophantine sets},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {124--164},
     publisher = {mathdoc},
     volume = {27},
     number = {5},
     year = {1972},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_1972_27_5_a2/}
}
TY  - JOUR
AU  - Yu. V. Matiyasevich
TI  - Diophantine sets
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1972
SP  - 124
EP  - 164
VL  - 27
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1972_27_5_a2/
LA  - en
ID  - RM_1972_27_5_a2
ER  - 
%0 Journal Article
%A Yu. V. Matiyasevich
%T Diophantine sets
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1972
%P 124-164
%V 27
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1972_27_5_a2/
%G en
%F RM_1972_27_5_a2
Yu. V. Matiyasevich. Diophantine sets. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 27 (1972) no. 5, pp. 124-164. http://geodesic.mathdoc.fr/item/RM_1972_27_5_a2/