(All known Turing-complete systems are Turing equivalent, which adds support to the Church–Turing thesis.)
(Όλα τα γνωστά συστήματα που είναι Turing πλήρη, είναι και Turing ισοδύναμα, το οποίο υποστηρίζει τη θεωρία Church-Turing).