Son fundamentales para la ciencia de la computación, porque sólo son computables las funciones de conjuntos numerables.