1. Introduction
  2. Problems
  3. Turing Machines
  4. Binary Lambda Calculus
  5. Brainfuck
  6. Future Directions