News for hackers. Stuff that matters.
Re:God Created the Real Numbers by colanderman on Friday August 29, 2025 @01:56PM (#45067333)
Not all reals are expressible: to be expressible is to have a finite representation in some language. Definable numbers [1] are that (countably infinite) subset of the reals which can be expressed individually. Almost all reals are not definable and therefore cannot be individually named.

[1] https://en.wikipedia.org/wiki/Definable_real_number

There are no comments on this comment yet.