Goodstein Sequence: Difference between revisions

typo
m (sp)
(typo)
Line 23:
the m-th term G(n)(m) is defined by the following procedure:
 
1. Write G(n)(m - 1) as a hereditary sequencerepresentation with base (m - 1).
2. Calculate the results of using the hereditary sequencerepresentation found in step 1 using base m rather than (m - 1)
3. Subtract 1 from the result calculated in step 2.
 
4,111

edits