Assertion: church's function | /r/HasProperty | calculated by effective method
Facets:
value: is by a turing machine
type: OTHER
Source sentences:
text: It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine.