User blog comment:LittlePeng9/Long hierarchies of functions (on my other blog)/@comment-2607:FB90:4448:D9AB:1E31:6853:47CB:8DB7-20171127180726

How does the Church-Kleene ordinal relate to Turing machines? How does the Halting problem relate to the growth rate of the Busy beaver function?