The Successor Function

Arithmetic operations can be defined using Lambda Calculus primitives. As an example, here is the function to return one plus a given number.

SUCCESSOR(x) = ?x. ?y. ?z. (y (x y z))

Previous slide

Next slide

Back to first slide

View graphic version