User blog comment:Wythagoras/All my stuff/@comment-5029411-20130708190307

2 Rule FGH:

f0(m) = m+1

fn+1(m) = fn^m(m)

Y(2) = 8

3 Rule FGH:

Let w is \(\omega\).

f0(a) = a+1

f@+1(a) = f@^a(a)

f@w^(@+1)*b+1(a) = f@w^(@+1)*b+w^@(a)

Y(3) = fww w(3)