News for hackers. Stuff that matters.
Re:Stepping into math: Open-sourcing our step-by-step solver by omaranto on Thursday January 19, 2017 @11:11PM (#13441680)
Minor correction: you probably meant that books often define real numbers as equivalence classes of sequences of rational numbers. I've never seen a definition of real numbers as a single sequences in a textbook, not because it is impossible, but because defining arithmetic operations would get really messy.

There are no comments on this comment yet.