Assertion: dissertation's thesis | /r/HasProperty | same class of functions
Facets:
Source sentences:
text: Extensionally equivalent’ means that the two theses are about one and the same class of functions: in view of the previously mentioned results by Church, Kleene and Turing, the class of lambda-definable functions (of positive integers) is identical to the class of recursive functions (of positive integers) and to the class of computable functions (of positive integers).