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 SantalBlush on Monday January 23, 2023 @08:56AM (#34488735)
You can't flip irrationals over the decimal the way you described, because their decimals have infinitely many non-repeating values. You would end up with an infinite sequence of numbers, not a real number.
[ Parent | on HN ]
Re:An intutive counterexample to the axiom of choice by phkahler on Monday January 23, 2023 @09:08AM (#34488852)
You mean there aren't infinity large integers? Hmm, that seems weird.
[ Parent | on HN ]
Re:An intutive counterexample to the axiom of choice by xvkektjdicou on Monday January 23, 2023 @10:58AM (#34490395)
All integers are by definition finite. Positive integers are defined by S(S(S(...S(0)...))) a finite number of times, where S is the successor function. (And negatives in the obvious way.)
[ Parent | on HN ]