You are here: irt.org | FOLDOC | diverge
If a series of approximations to some value get progressively
further from it then the series is said to diverge.
The reduction of some term under some evaluation strategy
diverges if it does not reach a normal form after a finite
number of reductions.
Nearby terms: disusered « dithering « Ditto Drive « diverge » divisor » dj » DJGPP
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL
©2018 Martin Webb