The Turing Machine

A mathematical definition of computation itself — what any computer can and cannot do.

Stood on the shoulders of

• Boolean Algebra
• Set Theory
• The Algorithm
• Gödel's Incompleteness

Made possible

• Cellular Automata
• The Computer