O artykule
Data publikacji: 28 mar 2018
Zakres stron: 315 - 322
Otrzymano: 29 lis 2017
DOI: https://doi.org/10.1515/forma-2017-0029
Słowa kluczowe
© 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.