There seems to have some interest, judging by recent questions, in numbers that are very, very large (but finite). Some examples that I am thinking of include
- Graham's number
- The Ackermann numbers (okay, after the first 2 or 3, say)
There's also some interest in various notations for denoting these large numbers
- Knuth's up-arrow notation
- Ackermann functions
- Steinhaus polygon notation
- Conway chained-arrows
I wonder if there should be a tag that aggregates all of the above, since they are, in many ways, related (having to do with recursion constructions and what not).
Should there be a tag that captures the idea of "very large numbers and their notations"? And if yes, what should the tag name be?