News for hackers. Stuff that matters.

A comment on What is the Axiom of Choice?. Parent comment

Re:What is the Axiom of Choice? by ketralnis on Friday July 16, 2021 @02:11PM (#27859290)
The assertion that at least one selection algorithm succeeds without presenting that algorithm _is_ the axiom of choice.

By _assuming_ that program terminates, you are yourself taking the axiom of choice.

If it _does_ terminate, then it's not an axiom anymore it's a proof.

[ Parent | on HN ]
Re:What is the Axiom of Choice? by shadowlight on Friday July 16, 2021 @03:30PM (#27860255)
Yeah, this clarifies the logic. So because the algo above doesn't terminate it is not a proof.

The axiom of choice is an assumption that is neither known to be true or false.

[ Parent | on HN ]