News for hackers. Stuff that matters.

A comment on An intutive counterexample to the axiom of choice. Parent comment

Re:An intutive counterexample to the axiom of choice by riversflow on Monday January 23, 2023 @03:03PM (#34494186)
I just don’t see what describability, or as jiggawatts calls it, naming, has to do with AC. AC is built upon an indexed set[1]. That way you can just reference the index. It seems extremely contrived to me to argue that being finitely nameable has any bearing on underlying mathematical principle, nothing about any form of infinity is relatable to the physical confines of this universe, of which language is a member, but the concept of infinite is very useful.

[1]https://en.wikipedia.org/wiki/Axiom_of_choice

[ Parent | on HN ]
Re:An intutive counterexample to the axiom of choice by lisper on Tuesday January 24, 2023 @10:29AM (#34504765)
> I just don’t see what describability, or as jiggawatts calls it, naming, has to do with AC.

It doesn't have anything to do with AoC per se, it has to do (I claim) with people's intuitions about AoC. Specifically, an infinite set of arbitrary subsets of the set of indescribable reals is something for which a reasonable person might be a tad suspicious about postulating the existence of a choice function.

[ Parent | on HN ]