I find it hard to focus on this stuff, but is there really any ultimate generalization? Like, you always can recurse once more - once you define up arrows, then why not iterate them?
↑n means n up arrows, so why not have an operator that applies up arrows a number of times defined with up arrows?
It seems like it's just dipping your toe into large numbers, no matter how far you go.
↑n means n up arrows, so why not have an operator that applies up arrows a number of times defined with up arrows?
It seems like it's just dipping your toe into large numbers, no matter how far you go.