Mientras Stephen Kleene por otro lado desarrollo la teoría general de las funciones recursivas (incluyendo las parciales) basándose en los textos de Godel.