User blog:B1mb0w/Comparing Fast Growing Hierarchy Functions

Comparing Fast Growing Hierarchy Functions

This blog is a working page to capture various rules that can be used to compare different combinations of Fast-growing hierarchy Functions.

Basics

\(f_b(a) = f_{b-1}^a(a)\)

\(f_{\omega}(a) = f_a(a)\)

\(f_{\omega+1}(a) = f_{\omega}^a(a)\)

to \(f_{\omega}^{n+3}(3)\)

Next

\(D(1,2,0) = D(0,D(1,1,2),D(1,1,2)) = D(1,1,3)\) and comparable to \(f_{\omega}^6(3)\)

Similarly

\(D(1,2,1) = D(0,D(1,1,3),D(1,1,3)) = D(1,1,4)\) and comparable to \(f_{\omega}^7(3)\)

My calculations show that \(D(1,2,n)\) is comparable to \(f_{\omega}^{n+6}(3)\)

and \(D(1,3,n)\) is comparable to \(f_{\omega}^{n+10}(3)\)

and \(D(1,m,n)\) is comparable to \(f_{\omega}^{n+(m+2).(m+1)/2+1}(3) >> f_{\omega}^{n+(m+2).(m+1)/2-2}(f_{\omega+1}(3))\) where m or n > 0

D function examples with 3 parameters - continues

\(D(2,0,0)\) grows significantly faster \(= D(1,D(1,2,2),D(1,2,2))\)

and \(>> f_{\omega}^{m+(m+2).(m+1)/2-2}(f_{\omega+1}(3))\) where \(m = f_{\omega}^{6}(f_{\omega+1}(3))\)

and \(>> f_{\omega}^{f_{\omega}^{6}(f_{\omega+1}(3))+f_{\omega+1}(3)}(f_{\omega+1}(3)) = f_{\omega}^{f_{\omega}^{6}(f_{\omega+1}(3))}(f_{\omega+1}^2(3)) << f_{\omega+2}(3)\)

\(D(2,0,1) >> f_{\omega}^{m+(m+2).(m+1)/2-2}(f_{\omega+1}(3))\) where \(m = f_{\omega}^{f_{\omega}^{6}(f_{\omega+1}(3))}(f_{\omega+1}^2(3))\)

and \(>> f_{\omega}^{f_{\omega+1}^2(3)+f_{\omega+1}(3)}(f_{\omega+1}(3)) = f_{\omega}^{f_{\omega+1}^2(3)}(f_{\omega+1}^2(3)) = f_{\omega+1}^3(3) = f_{\omega+2}(3)\)

\(D(2,0,2) >> f_{\omega}^{f_{\omega+2}(3)+f_{\omega+1}^2(3)+f_{\omega+1}(3)}(f_{\omega+1}(3)) = f_{\omega}^{f_{\omega+2}(3)+f_{\omega+1}^2(3)}(f_{\omega+1}^2(3)) = f_{\omega}^{f_{\omega+2}(3)}(f_{\omega+2}(3)) = f_{\omega+2}^2(3)\)

\(D(2,0,3) >> f_{\omega+3}(3)\)

\(D(2,0,n) >> f_{\omega+(n+3)/2}(3)\)

D function examples with 3 parameters - continues for \(D(2,m,n)\)

\(D(2,1,0) = D(1,D(2,0,1),D(2,0,1)) = D(2,0,2) >> f_{\omega+2}^2(3)\)

\(D(2,1,1) = D(1,D(2,1,0),D(2,1,0)) = D(2,0,3) >> f_{\omega+3}(3)\)

\(D(2,1,n) >> f_{\omega+(n+5)/2}(3)\)

\(D(2,2,0) = D(1,D(2,1,2),D(2,1,2)) = D(2,0,5) >> f_{\omega+4}(3)\)

\(D(2,2,n) >> f_{\omega+(n+8)/2}(3)\)

\(D(2,3,n) >> f_{\omega+(n+12)/2}(3) = f_{\omega+n/2+6}(3) = f_{\omega+n/2+5}^2(f_{\omega+n/2+5}(3))\)

and \(>> f_{\omega+n/2+5}^2(f_{\omega+3}(3)) = f_{\omega+n/2+5}^2(f_{\omega.2}(3))\)

\(D(2,m,n) >> f_{\omega+(n+(m+2).(m+1)/2+2)/2-1}^2(f_{\omega.2}(3))\)

e.g.

\(D(2,3,3) >> f_{\omega+6}^2(f_{\omega.2}(3))\)

then

\(D(3,0,0) = D(2,D(2,3,3),D(2,3,3)) >> f_{\omega+(n+(m+2).(m+1)/2+2)/2-1}^2(f_{\omega.2}(3))\) where \(m >> f_{\omega+6}^2(f_{\omega.2}(3))\)

Recap and Speculating ahead a little

\(D(3, 9) >> 1,000,000\)

\(D(3, 206) >> Googol\)

\(D(4,2) >> Googolplex\)

\(D(1,0,0) >> f_{\omega}(3)\)

\(D(6,6) >> g1\) where g64 is Graham's number

\(D(1,1,0) = D(1,0,2) >> f_{\omega+1}(3)\)

\(D(1,4,47) = D(1,2,57) = D(1,0,63) >> g64 = G\) where g64 is Graham's number

\(D(2,0,1) >> f_{\omega+2}(3)\)

\(D(2,1,1) >> f_{\omega.2}(3)\)

\(D(3,2,n) >> f_{\omega^2}(3)\) need to check this

\(D(4,3,n) >> f_{\omega^{\omega}}(3)\) need to check this

\(D(l,m,n)\) has a growth rate of \(f_{\epsilon_0}(3)\) need to check this