Abstract

In this thesis we will discuss various results found by other mathematicians about the connection between recursively enumerable sets and diophantine representation. As a starting point, we will use the Martin Davis theorem that uses results from Godel and Rosser. We will then review the proofs of the DPR-theorem, the
... read more