1. Peano's Postulates, Hilbert's Program, Godel's Theorem, and the Church - Turing Thesis
  2. Phrase-Structure Grammars
  3. Recursive Functions
  4. The Growth Rate of Recursive Functions
  5. The Church - Turing Thesis - Consequences
  6. Turing Machines*
  7. Turing Computable Functions