Re:An intutive counterexample to the axiom of choice
by WastingMyTime89 on Monday January 23, 2023 @10:14AM
(#34489746)
> Why do we accept that there are real numbers that cannot be defined by a finite string of symbols
We don't accept it. It's easy to prove that it's the case.
I think you are unfamiliar with how R is defined. The traditional definition of R is a completion of Q with respect to the metric |x-y| (getting all Cauchy sequences to converge). That's larger than infinite sequence of decimals.
We don't accept it. It's easy to prove that it's the case.
I think you are unfamiliar with how R is defined. The traditional definition of R is a completion of Q with respect to the metric |x-y| (getting all Cauchy sequences to converge). That's larger than infinite sequence of decimals.