What does goodstein's theorem mean?
Definitions for goodstein's theorem
good·stein's the·o·rem
This dictionary definitions page includes all the possible meanings, example usage and translations of the word goodstein's theorem.
Wikidata
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.
Numerology
Chaldean Numerology
The numerical value of goodstein's theorem in Chaldean Numerology is: 2
Pythagorean Numerology
The numerical value of goodstein's theorem in Pythagorean Numerology is: 4
Translation
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?
Citation
Use the citation below to add this definition to your bibliography:
Style:MLAChicagoAPA
"goodstein's theorem." Definitions.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.definitions.net/definition/goodstein%27s+theorem>.
Discuss these goodstein's theorem definitions with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In