User blog comment:Ecl1psed276/Growth rate of oracle Turing machines/@comment-35470197-20190714085120/@comment-35470197-20190715120301

The terminologies "approximated" and "much bigger" are subjective, and hence we need to deduce such statements under subjective reasonings. At least, the subjective reasoning "\(BB\) is approximated" by \(f_{\omega_1^{\textrm{CK}}}\) because they both diagonalise all total recursive functions" turned out to be false as I wrote above. You could understand it even if you do not have an ITTM in your brain, couldn't you?