Assertion: argument's function | /r/HasProperty | computable
Facets:
value: by a turing machine
type: OTHER
Source sentences:
text: Turing thesis holds that any function computable by an effective procedure is computable by a Turing machine.