15903 | A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Korsgaard] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
18250 | Cauchy gave a necessary condition for the convergence of a sequence [Lavine] |
18251 | Irrational numbers are the limits of Cauchy sequences of rational numbers [Lavine] |