Church's Thesis Definition/Meaning:
A proposition, put forward by A. Church in 1936, claiming that
the concept of Turing computability (see Turing machine) is the
correct formalization of our intuitive concept of
effective computability. The evidence in favor of Church's
thesis is (as it must be) empirical in nature. The several attempts
that were made to formalize the concept of computability have all
yielded concepts (formally) equivalent to Turing computability.
Among these are the notions of lambda-definability, developed by
Church, and general recursiveness, introduced by Gödel.
|
