Comment on There’s more to mathematics than rigour and proofs (2007)parentComments−ravi-delia4yI 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.
Comments
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.