User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-33713741-20190630123029

"If you want to define a computable large number, you need to interpret a system of fundamental sequences for ordinals into a notation with a system of fundamental sequences. Otherwise, the resulting large function might be uncomputable."

Might be? Wdym