Assertion: ai's use | /r/HasProperty | identified same set of functions
Facets:
value: as “rote”
type: MANNER
value: very
type: DEGREE
value: since alonzo church
type: LOCATION
Source sentences:
text: Since Alonzo Church (1936) – using recursive functions and Lambda-definable functions – had identified the very same set of functions as “rote” or algorithmic as those calculable by Turing machines, this important and widely accepted identification is known as the “Church-Turing Thesis” (see, Turing 1936-7: Appendix).