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

If you only use finite ordinals, then it is actually computable. If you use uncountable infinities in OCFs, then it is actually uncomputable. Therefore it depends on what ordinals you use. This is what I meant.