Talk:Fish number 1

Comparison of S and FGH
S:[n,f(m)] -> [g(n),g(m)]


 * B(0,n) = f(n) = n+1
 * B(n+1,0) = B(n,1)
 * B(n+1,m+1) = B(n,B(n+1,m))
 * g(n) = B(n,n) = A(n,n)

S_2(0,n) = g(n), because S:[n,f(m)] -> [g(n),g(m)].


 * B_1(0,n) = f(n) = n+1
 * B_n+1(0,m) = g_n(m)
 * B_x(n+1,0) = B_x(n,1)
 * B_x(n+1,m+1) = B_x(n,B(n+1,m))
 * g_m(n) = B_m(n,n)

f_w^2(n) is approx B_n(n,n). AarexTiao