Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
non-converging_iteration_in_reals [2007/04/15 19:06] vkuncak |
non-converging_iteration_in_reals [2007/04/15 19:10] vkuncak |
||
---|---|---|---|
Line 16: | Line 16: | ||
This is because $f$ is not continuous. | This is because $f$ is not continuous. | ||
- | Whenever we converge to some $x^*$, we take $f(x^*)$ and continue iterating and taking limits (the "number of times" to iterate, even if infinite, depends on the size of the lattice, which can be formalized using ordinals). | + | Whenever we converge to some $x^*$, we take $f(x^*)$ and continue iterating and taking limits (the "number of times" to iterate, even if infinite, depends on the size of the lattice, which can be formalized [[ordinal number]]s). |