Decidability is discreteness