Manuscript XIX-C@1 · XIX-C.tex · section · 98b067d9
A named target, not an unnamed limit
Why finite certification does not select a continuum evolution › A named target, not an unnamed limit · lines 1008–1014
A single finite update supplies none of the sequence, comparison maps, scaling, or convergence theorem merely by iteration. Iteration is a discrete evolution. It is not the same object as Definition def:limit.