Bowers' Arrays are very useful and interesting tools for producing absolutely immense numbers. This note will tell you about this insanely fast-growing function, so you too can experience the fun of really big numbers.
Anyway, let's start with the simplest array, (the empty array). This is defined as:
Not very big, is it? Don't run away yet, and instead observe the might of a one entry array!
I'm not really making a good impression, am I? Don't worry, because they get bigger.
That's more like it! These three arrays (, , and ), along with their definitions, make up Rule 1 of Bowers' Arrays. Rule 1 is used to deal with arrays of length 0, 1 or 2.
Rule 2 is simply = . In other words, any trailing s in the array can and must be removed without affecting its value.
Rule 3 is = . If the second entry in the array is a , then the overall value of the array is . This is somewhat similar to how = .
Rule 4 is where the more interesting behaviour of Bowers' Arrays come in, and is much more complex that the previous three rules. = .
Said in natural language, if the third entry is , then the final one in the unbroken chain of 1s following from the third entry (e.g. the 6th entry in , and the 3rd entry in ) is replaced by a copy of the entire array but with the second entry decremented by 1, and the entry after the chain of 1s decremented by 1. Additionally, all entries before the one changed to a modified copy of the array are replaced with .
As a simple example of the fourth rule in action, = .
The fifth and final rule is that = . In natural language, that means that if rules one through four do not apply, the the second entry is replaced by a copy of the array but with the second entry decremented by , and the third entry of the original array is decremented by .
As a quick task, try simplifying a small array like with a repeated application of these rules. You will soon find that it becomes unmanageably huge. And if only a three entry array with small numbers in it makes such a huge number, imagine how big a ten entry array full of tens would be!