Churchs thesis

views updated

Church's thesis The hypothesis, put forward by Alonzo Church in 1935, that any function on the natural numbers that can be computed by an algorithm can be defined by a formula of the lambda calculus. See also Church–Turing thesis.

More From encyclopedia.com