2 ms·
For 50 years, mathematicians have believed that the total number of real numbers is unknowable. It's an established result that the Continuum Hypothesis is ind
by joe_the_user 5y ago
For 50 years, mathematicians have believed that the total number of real numbers is unknowable.
It's an established result that the Continuum Hypothesis is independent of Zermelo–Fraenkel axioms of set theory. No proof is going change that.
So whatever has been proved here doesn't change that. It will take a second to get the reference but Raymond Smullyan says essentially that "we're not looking for a proof or disproof of CH, we're looking for an assumption that can be shown to be natural enough that we can take it as an axiom".
Just sayin' since the (subheading) writer seems to be playing fast and loose with the concepts involved.
Edit: article goes on to give rigorous explanation but still starting "no one knew" confuses what's going on.