User blog comment:Googleaarex/N-Goodstein Sequence/@comment-1605058-20131223222451/@comment-80.98.179.160-20180125203750

No, but even better: Define X^^(X+1)=(X^^X)^(X^^X).