Corresponden a los trabajos de Kleene, Church, Turing y Post.