Due Tuesday March 18 at 1pm.
116b- Lecture 19
March 11, 2008We 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.