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