User blog comment:Elberos/Help2/@comment-35470197-20181229142756

It does not work in a usual way. But if you fix a system of fundamental sequences, e.g. one obtained by axiom of choice or the one associated to Kleene's O-notation, then it works. The resulting function is always an uncomputable one.