News for hackers. Stuff that matters.
Re:What is the Axiom of Choice? by jaydaigle on Friday July 16, 2021 @07:21PM (#27862272)
But what does "picking at random" mean? If you think it's obvious that you can just make infinitely many random choices at the same time, you're endorsing the axiom of choice.

(If you think you can make one random choice at a time, you're endorsing the axiom of finite choice, which is just true. Determinism doesn't matter here, but "at the same time" matters a lot.)

Re:What is the Axiom of Choice? by shadowgovt on Saturday July 17, 2021 @10:57AM (#27866226)
Excellent! That's the piece of the puzzle I was missing. Thank you!