Assertion: dissertation | /r/HasProperty | equivalent
Facets:
value: in this sense
type: OTHER
Source sentences:
text: Turing's thesis: Turing's thesis that every function which would naturally be regarded as computable is computable under his definition, i.e. by one of his machines, is equivalent to Church's thesis by Theorem XXX.
text: Notice, though, that while the two theses are equivalent in this sense, they nevertheless have distinct meanings and so are two different theses.