News for hackers. Stuff that matters.

A comment on The field of “useful reals” between rational and real numbers (2019). Parent comment

Re:The field of “useful reals” between rational and real num... by selectionbias on Tuesday March 24, 2020 @05:53PM (#22679465)
If you have a finite set of symbols, then the set of finite sequences of those symbols is countable. The key here is 'finite sequences', if you were to allow for infinite sequences then the set if uncountable.
[ Parent | on HN ]

There are no comments on this comment yet.