Published Online: Mar 28, 2018
Page range: 315 - 322
Received: Nov 29, 2017
DOI: https://doi.org/10.1515/forma-2017-0029
Keywords
© by Karol Pak
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.
In this article, we prove selected properties of Pell’s equation that are essential to finally prove the Diophantine property of two equations. These equations are explored in the proof of Matiyasevich’s negative solution of Hilbert’s tenth problem.