News for hackers. Stuff that matters.
Re:Dedekind's Subtle Knife by CurtMonash on Tuesday February 18, 2025 @01:22AM (#43086628)
There's a simple constructive proof using high-school level thinking. ... Two different reals have different decimal expansions. Go out far enough that they differ. Since this is about intuition, let's just assume the larger one is positive and irrational, and thus has an infinitely long expansion. Since the truncation has a finitely long decimal expansion, it's rational. And it's between the two original reals. Q.E.D. ... A full proof for all cases can be built similarly.
Re:Dedekind's Subtle Knife by gcanyon on Tuesday February 18, 2025 @06:42AM (#43088438)
It doesn't break my brain that there's a rational between any two reals; it breaks my brain that this doesn't imply equivalent sizes between the reals and the rationals.