Mathematics – General Mathematics
Scientific paper
2003-11-07
Mathematics
General Mathematics
v5; minor editing; 17 pages; new Lemma 6; graph of terminating Goodstein sequences included; major revision of notation on 20/
Scientific paper
Goodstein's argument is essentially that the hereditary representation m_{[b]} of any given natural number m in the natural number base b can be mirrored in Cantor Arithmetic, and used to well-define a finite decreasing sequence of transfinite ordinals, each of which is not smaller than the ordinal corresponding to the corresponding member of Goodstein's sequence of natural numbers G(m). The standard interpretation of this argument is first that G(m) must therefore converge; and second that this conclusion---Goodstein's Theorem---is unprovable in Peano Arithmetic but true under the standard interpretation of the Arithmetic. We argue however that even assuming Goodstein's Theorem is indeed unprovable in PA, its truth must nevertheless be an intuitionistically unobjectionable consequence of some constructive interpretation of Goodstein's reasoning. We consider such an interpretation, and construct a Goodstein functional sequence to highlight why the standard interpretation of Goodstein's argument ought not to be accepted as a definitive property of the natural numbers.
No associations
LandOfFree
How definitive is the standard interpretation of Goodstein's argument? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with How definitive is the standard interpretation of Goodstein's argument?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and How definitive is the standard interpretation of Goodstein's argument? will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-342888