News for hackers. Stuff that matters.
Re:Are real numbers really real? by meuk on Tuesday June 12, 2018 @10:58AM (#17293842)
You are talking about rationals and algebraic numbers, which are just a tiny subset of the real numbers. Your point about computable vs non-computable numbers is valid, but I think the author meant that you will never encounter a real number that is non-computable, since those are impossible to express in the first place. Real numbers can contain an infinite amount of information.
Re:Are real numbers really real? by btilly on Tuesday June 12, 2018 @11:17AM (#17294052)
Actually there are non-computable numbers known that you can encounter. See https://en.wikipedia.org/wiki/Chaitin%27s_constant.
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 ;)