News for hackers. Stuff that matters.
Re:What are the 'real numbers', really? by dnautics on Thursday December 26, 2013 @01:44PM (#6967360)
this is kind of a nonsense, circular definition: what is a line? A set of points that can be mapped onto the reals. The more meaty answer is down below, with dedekind cuts (although "a set that fulfills the arithmetic axioms and least upper bounds" is also sufficient).

There are no comments on this comment yet.