News for hackers. Stuff that matters.
Re:What is the Axiom of Choice? by YetAnotherNick on Friday July 16, 2021 @07:20AM (#27855115)
For (any subset of)rational numbers there exist many simple algorithms to form an ordering. eg. Take the number is reduced for `(+/-)a/b`. A number is smaller if its `a+b` is smaller. In case of tie number is smaller if its `a` is smaller. Even in case of tie positive number is smaller.

I don't know the proof but there could be no algorithm like that for real numbers.

Re:What is the Axiom of Choice? by wizzwizz4 on Friday July 16, 2021 @11:29AM (#27857275)
$<$ gives an ordering over the reals. It's an ordering with a first element that's the tricky bit.