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
2. Calculate the results of using the hereditary
3. Subtract 1 from the result calculated in step 2.
|