Assertion: dissertation's thesis | /r/HasProperty | equivalent
Facets:
value: extensionally
type: DEGREE
value: in this sense
type: OTHER
Source sentences:
text: If attention is restricted to functions of positive integers, Church’s thesis and Turing’s thesis are extensionally equivalent.
text: If attention is restricted to functions of positive integers, Church’s thesis and Turing’s thesis are extensionally equivalent.
text: Notice, though, that while the two theses are equivalent in this sense, they nevertheless have distinct meanings and so are two different theses.
text: So Turing’s and Church’s theses are equivalent.