Puede ser usado para definir de manera limpia y precisa qué es una "función computable".