Goodstein's theorem

E2250335 UNEXPLORED

Goodstein's theorem is a result in mathematical logic and number theory showing that certain rapidly growing sequences of natural numbers always eventually terminate, and that this fact cannot be proved within Peano arithmetic.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Goodstein's theorem canonical	2

Referenced by (2)

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

R. L. Goodstein → notableWork → Goodstein's theorem ⓘ

R. L. Goodstein → knownFor → Goodstein's theorem ⓘ