In fact, a consequence of the Church–Turing thesis is that there is no reasonable model of computation which can decide languages that cannot be decided by a Turing machine.
Ustvari, posljedica Church-Turingove teze jest da ne postoji razumni model računanja koji može odlučiti jezike koje ne može odlučiti Turingov stroj.