Hacker News new | ask | show | jobs
by btilly 3074 days ago
This is true.

However there is no logical argument that can disprove the constructivist view, in which there aren't "more" irrationals than rationals. And therefore the logical argument that there is must have some hidden implicit assumptions.