ABSTRACT

For example, the set of all natural numbers n such that there exists a consecutive run of exactly n 5s in the decimal expansion of π is effectively enumerable.

This notion is intuitive; the corresponding formal notion is recursively enumerable, also known as computably enumerable. See recursively enumerable.