116b- Lecture 14

February 21, 2008

We defined translations of a language in another and interpretations between theories. These notions allow us to state a more general version of the incompleteness results.

We then defined Turing machines.

Advertisements