User blog comment:KthulhuHimself/The Rho function./@comment-26428969-20151028080855/@comment-1605058-20151028140140

This function was invented long before that, see here.

This function is uncomputable and eventually dominates all computable functions regardless of Church-Turing thesis. Similarly, it cannot be computed by any modern computers, and you don't need CT thesis to prove it.

By the way, I'm not saying that I doubt it's true, but how do you know that Rh(1000) is greater than Loader's number? I don't see it being obvious at all.