Abstract
In this paper we give a detailed account of some results obtained by a group of specialists in mathematical logic in connection with an investigation of Hilbert's 10th problem. This problem was formulated in his well-known lecture [1], in the following way. “10. THE PROBLEM OF THE SOLUBILITY OF DIOPHANTINE EQUATIONS. Given a Diophantine equation in arbitrary unknowns and with rational integral coefficients, to indicate a general method whereby it is possible to determine in a finite number of steps whether it is soluble in rational integers.” The theorem stating that no such method exists is one of the results expounded below. The technique developed to prove this theorem has made it possible to give a number of other interesting results connected with Diophantine equations. The author has striven to provide an account that is accessible to mathematicians unfamiliar with mathematical logic and having only an elementary knowledge of number theory; a compendium of necessary results from number theory is given in the appendix.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
