User blog comment:Hyp cos/Googolisms hard to extend?/@comment-35470197-20190419220952

Do you think FGH + OCF is easy to extend? I do not think so. Creating an actual OCF requires sufficient knowledge on set theory, and converting it into a computable large function requires much higher knowledge on primitive recursive interpretation of set theoretic stuffs.

Many of "OCFs" created by googologists are not based on mathematics, and hence their strength might not be strong or even not well-defined. Even if they are well-defined, almost none of them understand how to intreprete OCFs into primitive recursive structures. OCFs without primitive recursive intrepretation of structures do not yield computable large functions, and hence give no valid extension of computable googolism. Unfortunately, this fact is difficult to understand for those who do not actually understand what ordinal notations associated OCFs are.

Well, I have pointed out the same problem here. It means that even a sophisticated googologist, you, could be misunderstanding how to extend computale googology using OCFs. Therefore it is not honest to apeal to others that OCFs are easy to extend.