De acuerdo con esto, una formulación común de la tesis de Church-Turing en la literatura técnica y en los libros suele ser: