On 4/12/2013 8:46 AM, WM wrote: > On 12 Apr., 11:41, fom <fomJ...@nyms.net> wrote: > >> We use the same reasoning of the "endlessness" found in finite >> constructive mathematics. > > And that shows you a digit of endlessness that does distinguish the > irrtional limit from all its rational approximations? Wow, what a > power of mind!
It shows nothing.
That is for children with crayons.
It explains that any discrete characterization of universal quantification cannot be faithful (in the algebraic sense of representation) with respect to identity criteria unless a completed identity is presupposed.
Cantor's topological arguments merely make clear that Zeno's finished line is only reached when imminent infinity is taken as completed infinity.