Church's thesis

Related Overviews


'Church's thesis' can also refer to...


More Like This

Show all results sharing these subjects:

  • Philosophy
  • Computing


Quick Reference

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.

Subjects: Philosophy — Computing.

Reference entries