User blog comment:Ikosarakt1/My site/@comment-10429372-20150214180543/@comment-1605058-20150214200110

According to Wikipedia, it was Goodstein who has defined hyperoperators, which looks about right.