La tésis de Church-Turing asegura que podemos usar otros modelos con el mismo poder de cómputo. Vamos a estudiar las Funciones Recursivas y la Función de Ackerman.