Abstract
Hilbert’s Tenth Problem asks whether there is an algorithmic procedure to solve Diophantine equations (polynomial equations with integer coefficients) for integer solutions. This famous problem was shown to be unsolvable by Yuri Matiyasevič in 1970. In other words, there is no algorithm that can decide in general whether a given Diophantine equations has integer solutions or not. This negative solution builds on a long line of work by Martin Davis, Hilary Putnam, and importantly, Julia Robinson. In this article, we briefly describe the problem, its unsolvability, and Julia Robinson’s contribution.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Suggested Reading
Constance Reid, The autobiography of Julia Robinson, College Math. J., Vol.17, No.1, pp 3–21, 1986. DOI: https://doi.org/10.1080/07468342.1986.11972925
Yuri Matiyasevič, Enumerable sets are Diophantine, Doklady Akad. Nauk SSSR, Vol.191, pp.279–282, 1970. Improved English translation: Soviet Math. Doklady, Vol.11, pp.354–357, 1970.
Martin Davis, Hilary Putnam and Julia Robinson, The decision problem for exponential Diophantine equations, Ann. Math., Vol.74, pp.425–436, 1961.
A Shen and N K Vereshchagin, Computable Functions, AMS Student Mathematical Library, American Mathematical Society, Providence, RI 02904-2213, USA, Vol.19, 166 pages, 2003.
Martin Davis, Hilbert’s tenth problem is unsolvable, Am. Math. Mon., Vol.80, No.3, pp.233–269, 1973.
M Ram Murthy and Brandon Fodden, Hilbert’s Tenth Problem: An Introduction to Logic, Number Theory, and Computability, American Mathematical Society, Providence, RI 02904-2213, USA, 239 pages, 2019.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Jaikumar Radhakrishnan is a theoretical computer scientist currently working as a distinguished professor at the International Centre for Theoretical Sciences (ICTS-TIFR), Bengaluru.
S P Suresh is a theoretical computer scientist currently working as a professor at the Chennai Mathematical Institute (CMI), Kelambakkam.
Rights and permissions
About this article
Cite this article
Radhakrishnan, J., Suresh, S.P. Julia Robinson and Hilbert’s Tenth Problem. Reson 29, 747–757 (2024). https://doi.org/10.1007/s12045-024-0747-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12045-024-0747-4