116b- Homework 9

March 11, 2008

Homework 9

Due Tuesday March 18 at 1pm.


116b- Lecture 19

March 11, 2008

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.