News for hackers. Stuff that matters.
Re:Are real numbers really real? by chriswarbo on Tuesday June 12, 2018 @01:11PM (#17295389)
Yes, there's actually another distinction we can make: between incomputable numbers and indescribable numbers. The latter is very slippery, since it can lead to things like the Berry paradox https://en.wikipedia.org/wiki/Berry_paradox

For example, we would need some way to avoid expressions like "the smallest indescribable number", since that itself is a description ;)

There are no comments on this comment yet.