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.

A189896 Weak Ackermann numbers: H_n(n,n) where H_n is the n-th hyperoperator.

This page as a plain text file.
%I A189896 #75 Nov 15 2022 17:51:53
%S A189896 1,2,4,27
%N A189896 Weak Ackermann numbers: H_n(n,n) where H_n is the n-th hyperoperator.
%C A189896 The next term, a(4), has about 8*10^153 decimal digits. - _Charles R Greathouse IV_, Nov 15 2022
%H A189896 M. H. Löb and S. S. Wainer, <a href="http://dx.doi.org/10.1007/BF01967649">Hierarchies of number-theoretic functions. I</a>, Archive for Mathematical Logic 13:1-2 (1970), pp. 39-51.
%H A189896 Wikipedia, <a href="http://en.wikipedia.org/wiki/Hyperoperation">Hyperoperation</a>.
%H A189896 Wikipedia, <a href="http://en.wikipedia.org/wiki/Ackermann_function">Ackermann function</a>
%F A189896 a(n) = H_n(n, n), where H_n the hyperoperation indexed by n.
%e A189896 a(0) = succ(0) = 0 + 1 = 1, because the zeroth hyperoperation is successor.
%e A189896 a(1) = 1 + 1 = 2, because the first hyperoperation is addition.
%e A189896 a(2) = 2 * 2 = 4, because the second hyperoperation is multiplication.
%e A189896 a(3) = 3^3 = 27, because the third hyperoperation is exponentiation.
%e A189896 a(4) = 4^4^4^4 = 4^(4^(4^4)) = 4^(4^256), because the fourth hyperoperation is tetration. The term is too big to be included: log_2(a(4)) = 2^513.
%Y A189896 For H_n(x,x) with fixed x, cf. A054871 (x=3, shifted), A141044 (x=1), A253855 (x=4, shifted), A255176 (x=2), A256131 (x=10, shifted). - _Danny Rorabaugh_, Oct 20 2015
%Y A189896 Cf. A271553 ( H_n-1(n,n) ). - _Natan Arie Consigli_, Apr 10 2016
%K A189896 nonn,bref
%O A189896 0,2
%A A189896 _Max Sills_, Apr 30 2011
%E A189896 "Weak" added to definition by _Natan Arie Consigli_, Apr 18 2015