4 ms·
All of the rationals are computable. Almost all of the irrationals aren't computable at all... so there's a big difference there.
by roywiggins 8y ago
All of the rationals are computable. Almost all of the irrationals aren't computable at all... so there's a big difference there.
- mike00632 8y agoYeah, and I suspect that has a lot to do with the underlying mathematical principles too. But the paper instead reduces the issue to the Continuum Hypothesis. The problem might not even have anything to do with countability but instead be fundamentally about the differences between infinite cardinals.