User blog comment:Tetramur/My thoughts about functions and numbers/@comment-35470197-20191229115044/@comment-32697988-20200102014802

>Even no oracle Turing machine can compute ω_1^{CK}.

What do you mean by "a machine can compute an ordinal"?