Re:Calculus Is Deeply Irrational
by Koshkin on Tuesday August 20, 2019 @06:55PM
(#20753069)
IMHO, though, "an equivalence class of Cauchy sequences" is not the most intuitive representation of a real number. (A point on a line is; even Dedekind's cuts well-described in older editions of Baby Rudin are more intuitive.)
[ Parent
| on HN ]
My perspective differs.
Dedekind cuts have a special case at all of the rationals. Which is weird. And the whole construct the completion using equivalence classes of sequences construction is one you'll encounter a bunch of times in topology. So it is worth learning it properly.
Plus if you're into that kind of thing, you can also construct the p-adics this way. :-)