Goodstein sequence

Etymology
Named after (1912–1985), English mathematician.

Noun

 * 1)  A sequence of natural numbers generated from an initial value m, starting with that value, and proceeding by performing certain operations on it. Although such sequences rapidly produce very large numbers, they always terminate at zero.