Goodstein sequence

E2250336 UNEXPLORED

The Goodstein sequence is a rapidly growing integer sequence used in mathematical logic and proof theory, notable for illustrating the limits of Peano arithmetic through its eventually terminating yet unprovably terminating behavior within that system.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Goodstein sequence canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

R. L. Goodstein → notableWork → Goodstein sequence ⓘ