9^9^9.

I think I was conflating Ackermann’s function and Knuth’s up-arrow notation Knuth's up-arrow notation - Wikipedia.

Doesn’t that just grow like tetration?

I knew a guy at Berkeley, 40-some years ago, whose hobby was devising ways to write the largest possible numbers with the fewest possible symbols. (Note, fewest symbols, not merely fewest digits.)

Most of his schemes were various massively recursive functions based on the symbol 0 (zero) and the successor function S (written without parentheses, as those are superfluous). Thus:

0
S0 ( = 1 )
SS0 ( = 2 )
etc. and messy recursive functions on top of those.

So I suggested something naive like 9^9^9 and variations on that. His immediate response was: First you have to define 9 and you’ve already wasted too many symbols doing that ( e.g., SSSSSSSSS0 ).

OK, either this guy isn’t explaining it correctly, or I’m calling bullshit on the whole TREE thing. This is how he gets to TREE(2) = 3. He draws a green node, two red nodes, then a red node for 3. Why can’t he draw two green nodes, a green node, two red nodes, then a red node for 4? Or for TREE(1), draw ten green nodes, nine green nodes, eight green nodes, seven green nodes, etc, for TREE(1) = 10?

What am I missing?

Isn’t the maximum number of nodes determined by the tree’s order in the sequence, i.e the first tree can only have 1 node (or up to 3, I’m not really clear on that.)

I am stunned by the opacity of that page.

And I’m certain that to some subset of the population that is absolutely clear and logical. I am not a member of that subset.

FWIW I read the same book when I was a kid–or at least the same factoid. I don’t remember which book it was; perhaps an Isaac Asimov Book of Awesome Crap for Kids? It looks like tetration was defined in 1947, so unless the book had some parameter I’m forgetting, it was probably wrong. It may have said not that this was the largest number, but that it was far larger than 999, or something like that.

I suppose tetration is uncommon enough to not have a truly standard notation. Is [sup][sup]9[/sup]9[/sup]9 really more familiar to you than 9↑↑↑3 ? On the other hand, 9[sup]9[/sup] is quite standard notation.

T.I.L.:
You can stack superscripts in this site’s code!

It looks like there are no examples or proofs (or definitions of terminology) on that page, so no wonder it seems opaque. Nevertheless, near the top there is a definition of the function TREE(n) in question. No proof that TREE(2) = 3 (though that is an easy exercise) or that TREE(3) is huge; that is hardly obvious from the bare definition— it’s not just you.

That seems like a sort of…cheating definition. Surely “digits” means just the placeholders for numbers from 0-9? 456, 724, etc.?

Can I take an 8, and tip it on its side?

That’s right. The first tree in the sequence can only have one node; the second two nodes, etc. Otherwise, the whole exercise wouldn’t make much sense–you could make any sequence as long as you liked just by making a humongous initial tree and shrinking it from there.

It’s the number of colors allowed, the number of seeds. If you duplicate a previous tree, then you end. So if you draw one green node, the only think you can do is draw another green node, and that is a duplicate of the previous tree.

With 2, if he drew 2 green nodes, then the second one would be a duplicate of the first.

The point of it is how many unique tree structures can be made, copies and duplicates do not count.

In other words, the rules that define the function specifically say that he cannot do this.

If you poke around on numberphile, you will find that most of the people on there are maths professors or better, if it seems wrong, if it seems as though it is time to call bullshit, it is actually more likely that you misunderstood something.

Oh, you guys with your Trees and your Ackermans and your Arrow notations.

Behold Busy Beaver and weep. Busy Beaver grows so quickly its value is not computable.

A fun essay on big numbers.

Watch the video from the start instead of where you linked, in the first minute he explains it. The first tree can have at most one node, the second two, third three, and so on. So drawing two nodes in the first tree is invalid, much less ten.

It is my understanding that the order of operations deals with that ambiguity. Within the same level, you go from left to right. So it inherently means (9^9)^9.

That said, I only get a 78 digit number: 196 627 050 475 552 913 618 075 908 526 912 116 283 103 450 944 214 766 927 315 415 537 966 391 196 809

So clearly the book means 9^(9^9), which I can’t find anything that will even begin to calculate.

Busy Beaver has been discussed on Computerphile, a sister channel to Numberphile.

I could have sworn Busy Beaver was mentioned in the Numberphile videos, but I don’t want to watch them both all the way again to see.

Am I missing something? I plugged that into Excel and came up with (obvious rounding):
196,627,050,475,553,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000

I don’t think that would reach to Cleveland unless you wrote it in letters 6 miles tall.

That’s the same thing. It’s just 9^81.

9^9^9 is either (9^9)^9 (or 387420489^9) or the vastly larger 9^(387420489) (which has 369,693,100 digits or so http://mathforum.org/library/drmath/view/59172.html ); 9^81 doesn’t enter into it (that would be 9^(9^2) )