User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-11227630-20190725052952/@comment-35470197-20190725091146

No. It is ill-defined. ψ(a,b) is defined only when b = 0, and f(a,n,b) is never defined. The explanation and analysis are wrong.