Church's thesis

Church's thesis

[¦chərch·əz ¦thē·səs]
(mathematics)
The claim that a function is computable in the intuitive sense if and only if it is computable by a Turing machine. Also known as Turing's thesis.
References in periodicals archive ?
The purpose of this article is to sharpen Priest's argument, avoiding reference to informal notions, consensus, or Church's thesis.