Models of Computation

The Von Neumann model is too informal and too complex to allow us to prove any properties about what computation is and what computation can and cannot do.

We need a simple, formal, sufficiently powerful model for computation.

The standard model is the Turing machine.

Modeling Algorithms

Algorithms solve problems

CS 4124: Theory of Computation

A Swedish View of Alan Turing

Other things that are attributed to Alan Turing:

Code Breaking During World War II

The Colossus "Computer"

The Turing test


CS1104 Main Page
Last Updated 01/05/2000
© L.Heath, 2000