The surprising fact that they are essentially equivalent, in the sense that they are all encodable into each other, supports the Church-Turing thesis.
Stebėtinas faktas, kad šie pavyzdžiai iš esmės yra lygūs, nes jie gali būti įtraukiami vienas į kitą, jie palaiko Church-Turing tezę.