05/12/2009, 07:11 AM
(05/12/2009, 02:29 AM)Tetratophile Wrote: So to define exponentiation etc... How do I put it in It_3? Don't know how to do this! Dammit!
I dont think they are compatible:
Roughly your hyper-iteration ladder does:
\( f_{n+1} (x) = f^{[x]}(x) \)
while the hyper-operations ladder does:
\( f_{n+1}(x) = f^{[x]}( c) \)
where \( c=0 \) or \( c=1 \).
