Assertion: dissertation's thesis | /r/HasProperty | correct
Facets:
Source sentences:
text: If Turing’s thesis is correct, then talk about the existence and non-existence of effective methods can be replaced throughout mathematics, logic and computer science by talk about the existence or non-existence of Turing machine programs.
text: If you assume that [consciousness] is scientifically explicable … [and] [g]ranted that the [Church-Turing] thesis is correct, then the final dichotomy rests on … functionalism.