Assertion: algorithm | /r/HasProperty | a turing machine
Facets:
Source sentences:
text: A careful reading of Gurevich 2000 leads one to conclude (infer?) that he believes that "an algorithm" is actually "a Turing machine" or "a pointer machine" doing a computation.
text: While we may preach that an algorithm is a Turing machine, we do not practice it.
text: This work is not an exegesis of the Church-Turing thesis in any of its variants, but poses little threat to that thesis except in the interpretation of it as a bald claim that an algorithm is a Turing machine.