September 22, 1999 | Perl and the Lambda Calculus | Slide #2 |

What is computable?

What are the limits of computers?

Real computers are too hard to study

We need an abstract model

Abstract model: Turing Machines

Abstract model: Lambda Calculus

Next | Copyright © 1999 M-J. Dominus |