News for hackers. Stuff that matters.

A comment on Was Cantor Wrong? Are the real numbers countable?. Parent comment

Re:Was Cantor Wrong? Are the real numbers countable? by pesenti on Wednesday December 04, 2013 @12:46AM (#6845244)
what are the theoretical implications of the fact that any specific real must have a finite representation of some form?

See http://en.wikipedia.org/wiki/Definable_number

[ Parent | on HN ]
Re:Was Cantor Wrong? Are the real numbers countable? by colanderman on Wednesday December 04, 2013 @08:15AM (#6846610)
Great, thanks! It's helpful to know that such definable numbers are in fact a superset of computable numbers [1]; I was naïvely assuming these notions to be equivalent.

[1] http://en.wikipedia.org/wiki/Computable_number

[ Parent | on HN ]