Hacker News new | ask | show | jobs
by ravi-delia 1521 days ago
I feel like that's downstream of seeing the reals as the rationals with the holes plugged, no? Obviously you can start from either end but everything special about the reals comes from being the complete version of the rationals.