|
Computer Science 598A
Automated Theorem Proving
Andrew Appel
|
Assignment 5
Spring 2003
|
General Information | Schedule | Assignments | Announcements
Assignment 5: The Recursion Theorem
Prove the Recursion Theorem on page 16 of Nathan Jacobson's
Basic Algebra I (W. H. Freeman and Company, 1974).
You can find the statement of the theorem and lots of useful
supporting lemmas in as5.tar
(which has more files than the proving.tar of previous assignments).
For easy reference, here is a statement
of the theorem in our logic.
Suggested method: Start by proving
these lemmas
.