News for hackers. Stuff that matters.
Re:An intutive counterexample to the axiom of choice by quchen on Monday January 23, 2023 @10:43AM (#34490127)
> It depends on what you think a number is.

Let’s not mix up teminology and semantics. What a number here is is quite clear, we’re all talking about relatively standard math, the standard axiom of choice, and not some opinion on numbers. Sure, you can also say a planet is a mammal »depending on what you think a mammal is«, but that doesn’t lead to any sort of fruitful discussion.

Re:An intutive counterexample to the axiom of choice by jjgreen on Monday January 23, 2023 @10:54AM (#34490323)
So what would you say a number is if not a name for the equivalences of set bijections? Genuinely interested, what is 2?