Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Goodstein's theorem
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=== Extended Goodstein's theorem === The above proof still works if the definition of the Goodstein sequence is changed so that the base-changing operation replaces each occurrence of the base <math>b</math> with <math>b+2</math> instead of <math>b+1</math>. More generally, let <math>b_1</math>, <math>b_2</math>, <math>b_3, \ldots</math> be any non-decreasing sequence of integers with <math>b_1 \geq 2</math>. Then let the <math>(n+1)</math>st term <math>G_m(n+1)</math> of the extended Goodstein sequence of <math>m</math> be as follows: * Take the hereditary base <math>b_n</math> representation of <math>G_m(n)</math>. * Replace each occurrence of the base <math>b_n</math> with <math>b_{n+1}</math>. * Subtract one. A simple modification of the above proof shows that this sequence still terminates. For example, if <math>b_n = 4</math> and if <math>b_{n+1} = 9</math>, then <math>f(3 \cdot 4^{4^4} + 4, 4) = 3 \omega^{\omega^\omega} + \omega= f(3 \cdot 9^{9^9} + 9, 9)</math>, hence the ordinal <math>f(3 \cdot 4^{4^4} + 4, 4)</math> is strictly greater than the ordinal <math>f\big((3 \cdot 9^{9^9} + 9) - 1, 9\big).</math> The extended version is in fact the one considered in Goodstein's original paper,{{sfn|Goodstein|1944}} where Goodstein proved that it is equivalent to the restricted ordinal theorem (i.e. the claim that [[transfinite induction]] below [[Epsilon numbers (mathematics)|ε<sub>0</sub>]] is valid), and gave a [[finitist]] proof for the case where <math>m \le b_1^{b_1^{b_1}}</math> (equivalent to transfinite induction up to <math>\omega^{\omega^\omega}</math>). The extended Goodstein's theorem without any restriction on the sequence ''b<sub>n</sub>'' is not formalizable in Peano arithmetic (PA), since such an arbitrary infinite sequence cannot be represented in PA. This seems to be what kept Goodstein from claiming back in 1944 that the extended Goodstein's theorem is unprovable in PA due to [[Gödel's second incompleteness theorem]] and Gentzen's proof of the consistency of PA using ε<sub>0</sub>-induction.{{sfn|Rathjen|2014}} However, inspection of Gentzen's proof shows that it only needs the fact that there is no [[primitive recursive]] strictly decreasing infinite sequence of ordinals, so limiting ''b<sub>n</sub>'' to primitive recursive sequences would have allowed Goodstein to prove an unprovability result.{{sfn|Rathjen|2014}} Furthermore, with the relatively elementary technique of the [[Grzegorczyk hierarchy]], it can be shown that every primitive recursive strictly decreasing infinite sequence of ordinals can be "slowed down" so that it can be transformed to a Goodstein sequence where <math>b_n = n+1</math>, thus giving an alternative proof to the same result Kirby and Paris proved.{{sfn|Rathjen|2014}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)