News for hackers. Stuff that matters.
Re:How real are real numbers? (2004) by Smaug123 on Monday April 10, 2017 @02:33PM (#14081254)
A sentence which fails to specify a real uniquely… fails to specify a real uniquely. Borel's talking about numbers which can be defined uniquely: that is, picked out, identified. Your Berry-paradox description doesn't identify an integer.
Re:How real are real numbers? (2004) by zodiac on Monday April 10, 2017 @03:08PM (#14081571)
But if we assume that we can say a sentence either specifies a real number uniquely or does not, the Berry paradox number is uniquely specified.