← Back to context

Comment by tux3

11 years ago

Loved this article, I'm really interested by the BB numbers in particular and how they relate to the halting problem.

And I though I could win this silly game with my Knuth's Up Arrow notation and vague knowledge of Ackermann's sequence!

BB(6) could be bigger than Graham's number but we don't even know, that's how big it is

the busy beaver function grows so fast that for some number N it's always going to be larger than any number we can describe in normal math notation

so if you define Graham's number as a function of N like g(N) where Graham's number is g(64), busy beaver still grows faster and for some N it will be bigger