Assertion: turing thesis | /r/HasProperty | the assertion
Facets:
Source sentences:
text: The Church-Turing thesis is the assertion that this set S contains every function whose values can be obtained by a method satisfying the above conditions for effectiveness.