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
topReferences
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é).