05/26/2022, 11:46 PM
(05/26/2022, 11:33 PM)MphLee Wrote:
Forgive me the off-topic in the off-topic. But I highlight how much we would profit conceptually to have an unifying framework/language to treat, express/compare all the questions of this kind.
Notice how asking that a solution to Bennett equation can be modified into something that satisfies Goodstein would need and use the same framework. Same goes for the question of how all the various hyperoperations (lower, offsets, ackermann...) do compare with each other.
I agree entirely. That's why I use \(\langle s \rangle\) for the bennet procedure. It would produce something very different than the \(\uparrow\) procedure, despite both satisfy Goodstein's equation.
Welcome to the wonderful world of advanced mathematics, Mphlee; where everyone calls everything something different, lol.