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