La tesis de Church se basa en la aseveración de que podemos encontrar un método, que satisfaga las condiciones de eficacia anteriormente expuestas, que nos permita obtener todos los valores de un determinado conjunto de funciones.