Countability"Countable" and discreteness"discrete" are separate concepts. The Cantor set, for example, is discrete, but not countable.
As for discretizing space-time, the only theory I'm aware of that takes this approach is known as loop quantum gravity. String theory, if my passing understanding is correct, does not discretize space-time in this way.