Talk:Turing equivalence (theory of computation)

I've redirected this article to Turing completeness for two reasons:

(1) it is incorrect -- Turing equivalence does not refer to "a computing device capable of performing the same computations as a Turing machine" -- *all* computing devices worthy of the name can perform the same computations as *a* Turing machine. (Some TMs do essentially nothing.) The reference should be to *any arbitrary* TM, or to a *universal* Turing machine, not merely to *a* TM;

(2) if it were corrected it would merely repeat the definition of Turing completeness (or computational universality).

In the article on Turing completeness, I will add the term "Turing equivalence" as a synonym.--r.e.s. (Talk) 02:59, 7 January 2006 (UTC)