LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
non-converging_iteration_in_reals [2007/04/15 19:10]
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 [[ordinal number]]s).+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 [[wk>ordinal number]]s).