Assertion: church's function | /r/HasProperty | turing-computable.":101
Facets:
Source sentences:
text: Turing thesis states: "All physically computable functions are Turing-computable.":101