El concepto de algoritmo es fundamental en multiples campos de la actividad humana. Se relacionan en este artfculo los conceptos de funcion y de algoritmo para luego caracterizar un tipo especial de funcion: el de las recursivas. Finalmente se establece la Tesis de Alonzo Church que indica que solo para las funciones recursivas pueden obtenerse algoritmos de evaluacion.