Relations diophantiennes et la solution négative du 10e problème de Hilbert
Séminaire Bourbaki (1970-1971)
- Volume: 13, page 11-28
- ISSN: 0303-1179
Access Full Article
topHow to cite
topAzra, Jean-Pierre. "Relations diophantiennes et la solution négative du 10e problème de Hilbert." Séminaire Bourbaki 13 (1970-1971): 11-28. <http://eudml.org/doc/109790>.
@article{Azra1970-1971,
author = {Azra, Jean-Pierre},
journal = {Séminaire Bourbaki},
language = {fre},
pages = {11-28},
publisher = {Springer-Verlag},
title = {Relations diophantiennes et la solution négative du 10e problème de Hilbert},
url = {http://eudml.org/doc/109790},
volume = {13},
year = {1970-1971},
}
TY - JOUR
AU - Azra, Jean-Pierre
TI - Relations diophantiennes et la solution négative du 10e problème de Hilbert
JO - Séminaire Bourbaki
PY - 1970-1971
PB - Springer-Verlag
VL - 13
SP - 11
EP - 28
LA - fre
UR - http://eudml.org/doc/109790
ER -
References
top- [1] David Hilbert - Mathematische Probleme. Vortrag gehalten auf dem internationalen Mathematiker-Kongress zu Paris1900. Traduction anglaise, Bull. Amer. Math. Soc., 8 (1901/1902), 437-479. JFM33.0976.07
- [2] Julia Robinson - Existential definability in aritmetic, Trans. A.M.S., vol. 72 (1952), 437-449. Zbl0047.24802MR48374
- [3] Martin Davis, Hilary Putnam and Julia Robinson - The decision problem for exponential diophantine equations, Annals of Math., vol. 74 (1961), 425-436. Zbl0111.01003MR133227
- [4] Iu.V. Matiasevitch - Enumerable sets are diophantine, Soviet Mathematics, Mar-Apr. 1970, vol. 11, number 2, p. 354. Zbl0212.33401
- [5] Daniel Lacombe - La théorie des fonctions récursives et ses applications, Bull. Soc. Math. France, 88 (1960), 393-468. Zbl0156.25201MR122720
- [6] Hilary Putnam - An unsolvable problem in number theory, J. of Symb. Logic, t. 25 (1960), 220-232. Zbl0108.00701MR158825
- [7] Martin Davis - An explicit diophantine definition of the exponential function, (non publié).
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.