We showed that Exponentiation is Diophantine, completing the proof of the Davis-Matiyasevich-Putnam-Robinson theorem. The result follows from a careful examination of certain second order linear recurrence relations.
We showed that Exponentiation is Diophantine, completing the proof of the Davis-Matiyasevich-Putnam-Robinson theorem. The result follows from a careful examination of certain second order linear recurrence relations.
