Noun
Goodstein sequence (plural Goodstein sequences)
(mathematics) 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.