Assertion: church's function | /r/HasProperty | regarded
Facets:
value: naturally
type: MANNER
Source sentences:
text: Turing's thesis: Turing's thesis that every function which would naturally be regarded as computable is computable under his definition, i.e. by one of his machines, is equivalent to Church's thesis by Theorem XXX.