05/08/2022, 11:52 PM
(05/08/2022, 11:40 PM)MphLee Wrote: This to me means that ... there is something built-in Bennet operations suggesting they wants to behave good in relationship with the Goodstein operations... not like we are torturing them to satisfy the recursion...
ITS EXACTLY THAT!
I was expecting to contort and make some deep Kneser kind of theta mapping. No, not at all. They're linearly related! Sure, I'll have to solve a first order difference equation, and a weird Taylor series equation; but it'll be linear in essence! Linear first order difference equations are just exponentials...