Undecidable diophantine equations
HTML articles powered by AMS MathViewer
- by James P. Jones PDF
- Bull. Amer. Math. Soc. 3 (1980), 859-862
References
- A. Baker, Contributions to the theory of Diophantine equations. I. On the representation of integers by binary forms, Philos. Trans. Roy. Soc. London Ser. A 263 (1967/68), 173–191. MR 228424, DOI 10.1098/rsta.1968.0010
- Martin Davis, Hilary Putnam, and Julia Robinson, The decision problem for exponential diophantine equations, Ann. of Math. (2) 74 (1961), 425–436. MR 133227, DOI 10.2307/1970289
- James P. Jones, Three universal representations of recursively enumerable sets, J. Symbolic Logic 43 (1978), no. 2, 335–351. MR 498049, DOI 10.2307/2272832
- Ju. V. Matijasevič, The Diophantineness of enumerable sets, Dokl. Akad. Nauk SSSR 191 (1970), 279–282 (Russian). MR 0258744
- Ju. V. Matijasevič, Some purely mathematical results inspired by mathematical logic, Logic, foundations of mathematics and computability theory (Proc. Fifth Internat. Congr. Logic, Methodology and Philos. of Sci., Univ. Western Ontario, London, Ont., 1975) Univ. Western Ontario Ser. Philos. Sci., Vol. 9, Reidel, Dordrecht, 1977, pp. 121–127. MR 0485685
- Yuri Matijasevič and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns, Acta Arith. 27 (1975), 521–553. MR 387188, DOI 10.4064/aa-27-1-521-553
- Carl Ludwig Siegel, Zur Theorie der quadratischen Formen, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II (1972), 21–46 (German). MR 311578
Additional Information
- Journal: Bull. Amer. Math. Soc. 3 (1980), 859-862
- MSC (1970): Primary 02F25, 10N05; Secondary 10B15
- DOI: https://doi.org/10.1090/S0273-0979-1980-14832-6
- MathSciNet review: 578379