You're replying to a comment by Thomas.

Thomas Permalink
March 07, 2012, 14:20

Bill is right about there being no evidence that the Ackermann function grows slower than a non-computable function in general, but for the busy beaver function there is a proof that it grows faster than any computable function. See the wikipedia article for a proof.

Reply To This Comment

(why do I need your e-mail?)

(Your twitter name, if you have one. (I'm @pkrumins, btw.))

Type the word "floppy": (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.