Church’s Thesis

If a function can be computed, then it can be expressed in the pure lambda calculus.

Also, Turing Machines and the Lambda Calculus have equivalent expressive power, in terms of which functions can or cannot be expressed.

Previous slide

Next slide

Back to first slide

View graphic version