This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A056004 #39 Feb 16 2025 08:32:43 %S A056004 0,2,3,26,27,29,30,80,81,83,84,107,108,110,111,7625597484986, %T A056004 7625597484987,7625597484989,7625597484990,7625597485013, %U A056004 7625597485014,7625597485016,7625597485017,7625597485067,7625597485068,7625597485070,7625597485071,7625597485094 %N A056004 Initial step in Goodstein sequences: write n in hereditary representation base 2, bump to base 3, then subtract 1. %C A056004 To write an integer n in base-k hereditary representation, write n in ordinary base-k representation, and then do the same recursively for all exponents which are greater than k: e.g., 2^18 = 2^(2^4 + 2) = 2^(2^(2^2) + 2). "Bump to base 3" means to replace all the 2's in that representation by 3. - _M. F. Hasler_, Feb 19 2017 %H A056004 Reinhard Zumkeller, <a href="/A056004/b056004.txt">Table of n, a(n) for n = 1..10000</a> %H A056004 A. E. Caicedo, <a href="http://www.scielo.org.co/pdf/rcm/v41n2/v41n2a08.pdf">Goodstein's function</a>, Revista Colombiana de Matemáticas 41 (2007), 381-391. %H A056004 R. L. Goodstein, <a href="http://www.jstor.org/stable/2268019">On the Restricted Ordinal Theorem</a>, J. Symb. Logic 9, 33-41, 1944. %H A056004 L. Kirby, and J. Paris, <a href="http://blms.oxfordjournals.org/content/14/4/285.extract">Accessible independence results for Peano arithmetic</a>, Bull. London Mathematical Society, 14 (1982), 285-293. %H A056004 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/HereditaryRepresentation.html">Hereditary Representation.</a> %H A056004 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GoodsteinSequence.html">Goodstein Sequence.</a> %H A056004 Wikipedia, <a href="http://en.wikipedia.org/wiki/Goodstein's_theorem">Goodstein's Theorem</a> %H A056004 Reinhard Zumkeller, <a href="/A211378/a211378.hs.txt">Haskell programs for Goodstein sequences</a> %e A056004 a(18)=7625597484989 since 18=2^(2^2)+2^1 which when bumped from 2 to 3 becomes 3^(3^3)+3^1=76255974849890 and when 1 is subtracted gives 7625597484989. %o A056004 (Haskell) -- See Link %o A056004 (PARI) A056004(n)=sum(i=1,#n=binary(n),if(n[i],3^if(#n-i<2,#n-i,A056004(#n-i)+1)))-1 \\ See A266201 for more general code. - _M. F. Hasler_, Feb 19 2017 %Y A056004 Using G_k to denote the k-th step, this is the first in the following list: A056004: G_1(n), A057650: G_2(n), A059934: G_3(n), A059935: G_4(n), A059936: G_5(n); A266201: G_n(n); A056041. %Y A056004 Cf. A215409: G_n(3), A056193: G_n(4), A266204: G_n(5), A266205: G_n(6), A222117: G_n(15), A059933: G_n(16), A211378: G_n(19). %Y A056004 See A222112 for an alternate version. %K A056004 nonn %O A056004 1,2 %A A056004 _Henry Bottomley_, Aug 04 2000 %E A056004 Edited by _M. F. Hasler_, Feb 19 2017