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 ;)
For example, we would need some way to avoid expressions like "the smallest indescribable number", since that itself is a description ;)