El concepto de enumerabilidad recursiva pertenece al ámbito de la teoría de la computabilidad, también llamada teoría de la recursión, cuyo desarrollo aportó una explicación precisa de la noción intuitiva de computabilidad algorítmica, dando pleno rigor al concepto de enumerabilidad recursiva.