What does goodstein's theorem mean?

Definitions for goodstein's theorem
good·stein's the·o·rem

Here are all the possible meanings and translations of the word goodstein's theorem.


  1. Goodstein's theorem

    In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence eventually terminates at 0. Kirby & Paris 1982 showed that it is unprovable in Peano arithmetic. This was the third "natural" example of a true statement that is unprovable in Peano arithmetic. Earlier statements of this type had either been, except for Gentzen, extremely complicated, ad-hoc constructions or concerned metamathematics or combinatorial results. Laurie Kirby and Jeff Paris gave an interpretation of the Goodstein's theorem as a hydra game: the "Hydra" is a rooted tree, and a move consists of cutting off one of its "heads", to which the hydra responds by growing a finite number of new heads according to certain rules. The Kirby–Paris interpretation of the theorem says that the Hydra will eventually be killed, regardless of the strategy that Hercules uses to chop off its heads, though this may take a very, very long time.

How to pronounce goodstein's theorem?

How to say goodstein's theorem in sign language?


  1. Chaldean Numerology

    The numerical value of goodstein's theorem in Chaldean Numerology is: 2

  2. Pythagorean Numerology

    The numerical value of goodstein's theorem in Pythagorean Numerology is: 4

Images & Illustrations of goodstein's theorem

  1. goodstein's theoremgoodstein's theoremgoodstein's theoremgoodstein's theoremgoodstein's theorem


Find a translation for the goodstein's theorem definition in other languages:

Select another language:

  • - Select -
  • 简体中文 (Chinese - Simplified)
  • 繁體中文 (Chinese - Traditional)
  • Español (Spanish)
  • Esperanto (Esperanto)
  • 日本語 (Japanese)
  • Português (Portuguese)
  • Deutsch (German)
  • العربية (Arabic)
  • Français (French)
  • Русский (Russian)
  • ಕನ್ನಡ (Kannada)
  • 한국어 (Korean)
  • עברית (Hebrew)
  • Gaeilge (Irish)
  • Українська (Ukrainian)
  • اردو (Urdu)
  • Magyar (Hungarian)
  • मानक हिन्दी (Hindi)
  • Indonesia (Indonesian)
  • Italiano (Italian)
  • தமிழ் (Tamil)
  • Türkçe (Turkish)
  • తెలుగు (Telugu)
  • ภาษาไทย (Thai)
  • Tiếng Việt (Vietnamese)
  • Čeština (Czech)
  • Polski (Polish)
  • Bahasa Indonesia (Indonesian)
  • Românește (Romanian)
  • Nederlands (Dutch)
  • Ελληνικά (Greek)
  • Latinum (Latin)
  • Svenska (Swedish)
  • Dansk (Danish)
  • Suomi (Finnish)
  • فارسی (Persian)
  • ייִדיש (Yiddish)
  • հայերեն (Armenian)
  • Norsk (Norwegian)
  • English (English)

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:

Discuss these goodstein's theorem definitions with the community:



    Use the citation below to add this definition to your bibliography:


    "goodstein's theorem." Definitions.net. STANDS4 LLC, 2022. Web. 21 Jan. 2022. <https://www.definitions.net/definition/goodstein%27s+theorem>.

    Are we missing a good definition for goodstein's theorem? Don't keep it to yourself...

    Browse Definitions.net

    Free, no signup required:

    Add to Chrome

    Get instant definitions for any word that hits you anywhere on the web!

    Free, no signup required:

    Add to Firefox

    Get instant definitions for any word that hits you anywhere on the web!


    Are you a words master?

    dark brown mustelid of woodlands of Eurasia that gives off an unpleasant odor when threatened
    • A. foumart
    • B. allogamy
    • C. omphalos
    • D. slur

    Nearby & related entries:

    Alternative searches for goodstein's theorem: