Tag Archives: defined

is $BB(BB(x))$ well-defined?

I just read the Scott Aaronson article on busy beaver numbers and quite enjoyed it. However, I’m trying to wrap my head around the full meaning of the following statement:

Conclusion? The sequence of Busy Beaver numbers, …