Abstract
The authors analyze Diophantine sets and show that all recursively enumerable sets are Diophantine. Based on the classical results from the theory of recursive functions, a simple version of the theorem on the incompleteness of arithmetic is provided: there is a polynomial that has no positive integer solutions, and for which it is impossible to prove the absence of positive roots.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Yu. V. Matiyasevich, “Diophantine sets,” Uspekhi Mat. Nauk, Vol. 2, Iss. 5, 185–222 (1971).
N. J. Cutland, Computability: An Introduction to Recursive Function Theory, Cambridge Univ. Press (1980).
Yu. V. Matiyasevich, Hilbert’s Tenth Problem [in Russian], Nauka, Moscow (1993).
E. Mendelson, Introduction to Mathematical Logic, Book World Promotions (1964).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetyka ta Systemnyi Analiz, No. 5, September–October, 2023, pp. 16–21.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gupal, A.M., Vagis, O.A. Incompleteness of Arithmetic from the Viewpoint of Diophantine Set Theory. Cybern Syst Anal 59, 698–703 (2023). https://doi.org/10.1007/s10559-023-00605-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-023-00605-y