cp's OEIS Frontend

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.

A296441 Array A(n, k) = G_k(n) where G_k(n) is the k-th term of the Goodstein sequence of n, read by antidiagonals.

This page as a plain text file.
%I A296441 #46 Feb 16 2025 08:33:52
%S A296441 0,0,1,0,0,2,0,0,2,3,0,0,1,3,4,0,0,0,3,26,5,0,0,0,2,41,27,6,0,0,0,1,
%T A296441 60,255,29,7,0,0,0,0,83,467,257,30,8,0,0,0,0,109,775,3125,259,80,9,0,
%U A296441 0,0,0,139,1197,46655,3127,553,81,10,0,0,0,0,173,1751,98039,46657,6310,1023,83,11
%N A296441 Array A(n, k) = G_k(n) where G_k(n) is the k-th term of the Goodstein sequence of n, read by antidiagonals.
%C A296441 G_0(n) = n. To get to the second term in the row, convert n to hereditary base 2 representation (see links), replace each 2 with a 3, and subtract 1. For the third term, convert the second term (G_1(n)) into hereditary base 3 notation, replace each 3 with a 4, and subtract one. This pattern continues until the sequence converges to 0, which, by Goodstein's Theorem, occurs for all n.
%H A296441 Iain Fox, <a href="/A296441/b296441.txt">Antidiagonals n = 0..20 of array, flattened</a>
%H A296441 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/HereditaryRepresentation.html">Hereditary Representation</a>
%H A296441 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GoodsteinSequence.html">Goodstein Sequence</a>
%H A296441 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GoodsteinsTheorem.html">Goodstein's Theorem</a>
%H A296441 Wikipedia, <a href="http://en.wikipedia.org/wiki/Goodstein&#39;s_theorem#Hereditary_base-n_notation">Hereditary base-n notation</a>
%H A296441 Wikipedia, <a href="http://en.wikipedia.org/wiki/Goodstein&#39;s_theorem#Goodstein_sequences">Goodstein sequence</a>
%H A296441 Wikipedia, <a href="http://en.wikipedia.org/wiki/Goodstein&#39;s_theorem">Goodstein's Theorem</a>
%e A296441 | n\k |  0   1    2     3      4      5       6       7       8       9  ...
%e A296441 |-----|------------------------------------------------------------------------
%e A296441 |  0  |  0,  0,   0,    0,     0,     0,      0,      0,      0,      0, ...
%e A296441 |  1  |  1,  0,   0,    0,     0,     0,      0,      0,      0,      0, ...
%e A296441 |  2  |  2,  2,   1,    0,     0,     0,      0,      0,      0,      0, ...
%e A296441 |  3  |  3,  3,   3,    2,     1,     0,      0,      0,      0,      0, ...
%e A296441 |  4  |  4, 26,  41,   60,    83,   109,    139,    173,    211,    253, ...
%e A296441 |  5  |  5, 27, 255,  467,   775,  1197,   1751,   2454,   3325,   4382, ...
%e A296441 |  6  |  6, 29, 257, 3125, 46655, 98039, 187243, 332147, 555551, 885775, ...
%e A296441 | ... |
%o A296441 (PARI) B(n, b)=sum(i=1, #n=digits(n, b), n[i]*(b+1)^if(#n<b+i, #n-i, B(#n-i, b)))
%o A296441 A(n, k) = for(i=1, k, if(n==0, break()); n=B(n, i+1)-1); n
%Y A296441 n-th row: A000004 (n=0), A000007 (n=1), A215409 (n=3), A056193 (n=4), A266204 (n=5), A266205 (n=6), A271554 (n=7), A271555 (n=8), A271556 (n=9), A271557 (n=10), A271558 (n=11), A271559 (n=12), A271560 (n=13), A271561 (n=14), A222117 (n=15), A059933 (n=16), A271562 (n=17), A271975 (n=18) A211378 (n=19), A271976 (n=20).
%Y A296441 k-th column: A001477 (k=0), A056004 (k=1), A057650 (k=2), A059934 (k=3), A059935 (k=4), A059936 (k=5), A271977 (k=6), A271978 (k=7), A271979 (k=8), A271985 (k=9), A271986 (k=10).
%Y A296441 G_n(n) = A266201(n) (main diagonal of array).
%K A296441 base,nonn,tabl
%O A296441 0,6
%A A296441 _Iain Fox_, Dec 12 2017