Comment on Goodsteins theoremparentComments−Hugsun2yCouldn't you also do the substitution n times to make this ordinal emulate the fast growing hierarchy instead of the middle growing one?−tromp2yWhere would you get the number n from? All we have here are binary trees s and t of arbitrary shape.
Comments
Couldn't you also do the substitution n times to make this ordinal emulate the fast growing hierarchy instead of the middle growing one?
Where would you get the number n from? All we have here are binary trees s and t of arbitrary shape.