What is the Lambda Calculus?

• 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