05/12/2009, 02:29 AM
(This post was last modified: 07/06/2009, 12:54 AM by Base-Acid Tetration.)

To test the usefulness of this concept, I am now trying to define the hyper-operations in terms of hyper-iteration of the successor operation x+1. to try to see if the levels of hyper operations correspond to the hyper-iterations. if S(a) := a+1, than iteration of this function is addition: Problem is, produces ab+1 instead of ab, so it needs to be written as . So to define exponentiation etc... How do I put it in It_3? Don't know how to do this! Dammit!