Enumerability, Decidability, Computability