Overview

Church's thesis


Show Summary Details

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

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.