On Mon, Dec 14, 2009 at 2:23 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> It's been too long since college math classes for me to be sure whether
> "discrete" is really the exact term here. But I'm even more suspicious
> of "countable". I think a suitable diagonalization argument might show
> that strings are countable. That's getting a bit off-topic though...
It's actually a dovetailing argument, not a diagonalization argument,
but yes, the set of strings is most certainly countable.
...Robert (former CS theory teaching assistant)