En 1938, Kleene fue el primero que se dio cuenta de que había funciones parciales originadas por algoritmos que nunca finalizaban, a partir de ellos se pueden obtener todos los resultados anteriores.