Hilbert's Tenth Problem
Andrew J. Misner · 2013
In the following paper, I will give a brief introduction to the theory of Diophantine sets as well as the theory of computability. I will then present the Matiyasevich-Robinson-Davis-Putnam (MRDP) theorem, which is immediately comprehensible given just a cursory understanding of the mathematical basics, and give some details of its proof. Finally, I will present some further work in the area of Diophantine computability and various applications or corollaries of the celebrated MRDP theorem.