dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Beukers, F. | |
dc.contributor.author | Voorneveld, N.F.W. | |
dc.date.accessioned | 2013-08-26T17:02:26Z | |
dc.date.available | 2013-08-26 | |
dc.date.available | 2013-08-26T17:02:26Z | |
dc.date.issued | 2013 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/14262 | |
dc.description.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 DPRM-theorem and the single-fold DPR-theorem. After that, we will discuss the conjecture that all recursively enumerable sets are single-fold diophantine. A main result discussed in this thesis is the diophantine representation of the exponential relation found by the mathematician Matiyasevich. A single-fold diophantine representation of this same relation
would prove the conjecture, but this has not been found yet. There is a result that a non-effective estimate of the solutions of the equation 9(u^2 +7 v^2)^2 - (r^2+7 s^2)^2 = 2 would theoretically give us a single-fold diophantine representation of exponentiation. We will look at the proof of this statement and we will study some solutions of other equations like the one in the statement. | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 609454 bytes | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | |
dc.title | Diophantine representations of recursive enumerable sets | |
dc.type.content | Bachelor Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | Diophantine,equation,recursive,enumerable | |
dc.subject.courseuu | Wiskunde | |