News for hackers. Stuff that matters.
Re:There’s more to mathematics than rigour and proofs (2007) by ravi-delia on Tuesday April 19, 2022 @10:40PM (#31092185)
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.

There are no comments on this comment yet.