Because all these different attempts at formalizing the concept of "effective calculability/computability" have yielded equivalent results, it is now generally assumed that the Church–Turing thesis is correct.
Зато што су сви ови различити покушаји формализовања концепта "ефикасна предвидивост / израчунљивост" дале су еквивалентне резултате, сада се генерално претпоставља да је Черч-Тјурингова теза тачна.