News for hackers. Stuff that matters.
Re:How real are real numbers? (2004) by Smaug123 on Monday April 10, 2017 @02:38PM (#14081305)
Nitpick: the infinite countable union of countable well-ordered sets is countable. This statement is immune to the failure of Choice.
Re:How real are real numbers? (2004) by gjm11 on Monday April 10, 2017 @05:54PM (#14082896)
The formulation I prefer: a countable union of counted sets is countable.

(Any countable set has a well-ordering, because a bijection with the natural number gives you one in an obvious way. The trouble is that you need well-orderings for all of them together. The unusual term "counted" emphasizes that we need the actual "countings" to do the job, whereas for me "well-ordered" is sufficiently commonplace that it doesn't shove in my face the requirement that each set come along with a specific choice of well-ordering.)

Re:How real are real numbers? (2004) by Smaug123 on Monday April 10, 2017 @06:07PM (#14082973)
In my mind, "well-ordered" is fully distinct from "well-orderable" :) but "counted" is unambiguous, you're right.
Re:How real are real numbers? (2004) by enugu on Monday April 10, 2017 @02:52PM (#14081426)
As Lang used to say the Axiom Of Choice is obvious, 'I just pick the elements'. Just kidding, thanks for this interesting logical point.