Three is a small number, isn't it? but it can jumpstart a whole new notation...
Sounds cool! Here is a quick overview of it from my old site:
T[n] = 3^n
T[1,2] = 3
so T[3] = 27, T[T[3]] = 7,625,597,484,987, T[T[T[3]]] = 3^^4
T^(n)[1] = 3^^n
T[2,2] = 3^^(T[1,2]) = 3^^3
T[3,2] = T^(T[2,2])[1] = 3^^3^^3
T[n,2] = T^(T[n-1,2])[1] = 3^^^n
T[2,3] = T[3,2]
T[3,3] = T[T[3,2],2]
T[4,3] = T[T[T[3,2],2],2]
2TN rules:
Base case: T[n,1] = 3^n
Degenerative case: T[1,n] = 1
Reduction case: T[2,n] = T[3,n-1]
Recursive case: T[a,b] = T[T[a-1,b],b-1]
Alternative Representations:
T[a,b] = {3,a,b} in BEAF/BAN.
T[a,b] = s(3,a,b) in SAN.
3TN rules:
Binary reduction: 3TN[a,b,1] = 2TN[a,b]
Degenerative case: T[1,b,c] = 3
Recursive case: T[a,b,c] = T[T[a-1,b,c],b-1,c]
Prime Reduction case: T[2,b,c] = T[3,b-1,c]
Full Reduction case: T[2,1,c] = T[3,3,c-1]
Alt. representation:
T[a,b,c] = {3,a,b,c} in BEAF/BAN
Full Ruleset:
Deleter case: T[a,b,c,...,x,y,z,1] = T[a,b,c,...,x,y,z]
Degenerative case: T[1,b,c,...,x,y,z] = 3
Recursive case: T[a,b,c,...,x,y,z] = T[T[a-1,b,c,...,x,y,z],b-1,c,...,x,y,z]
Reduction case: (array starts with 2) T[2,1,1,...,1,1,a,b,c,...,x,y,z] = T[3,3,3,...,3,3,a-1,b,c,...,x,y,z]
(Note: the number of ones can also be zero here, this works for any case that starts with 2)
Catastrophic case: T[2,1,...,1,1,z] = T[3,3,...,3,3,z-1]
Alt. representation:
T[a,b,c,...,x,y,z] = {3,a,b,c,...,x,y,z} in BEAF/BAN.
Threes notation reaches a new level with the multi-comma delimiter, allowing deeper recursive expansion-
Base rules:
Basic Multi-commas:
T[a,,2] expands to T[3,3,3,...,3,3,3] (With a-1 occurences of 3.)
Equivalent representations:
T[a,,2] = {3,a(1)2} BEAF = {3,a[2]2} BAN.
Basic Application of L3N rules
Example: T[3,2,,2] = {3,3,2(1)2} = {3,{3,2,2(1)2}(1)2} = {3,{3,3(1)2}(1)2} = {3,{3,3,3}(1)2} = {3,3^^^3(1)2} = {3,tritri(1)2}.
Another Example: T[4,2,,2] = {3,4,2(1)2} = {3,{3,3,2(1)2}(1)2}
A small little explanation...
As a little convention here (to simplify the ruleset definitions) let any a,b,c,...,x,y,z array with more than 0 entries and can also have multi-commas be #.
Extended Threes Notation Deleter Case
T[#(,n)1] = T[#] where (,n) denotes any number of commas.
Multi-Level Recursive Reduction
T[a,,n] = T[3,3,...,3,3,,n-1] with a-1 3s involved.
Example decompositions:
T[3,,2] = T[3,3]
T[4,,2] = T[3,3,3]
T[3,,3] = T[3,3,,2]
T[3,,4] = T[3,3,,3]
Divergence from BEAF/BAN
Extended Threes introduces recursive behaviors beyond conventional BEAF/BAN notation
Deep Recursion Cases:
Decomposition Case: T[n,,1,2] = T[3,,T[n-1,,1,2]]
Special Case: T[1#] = 3 also applies so...
Self-Referential Growth
Example:
T[3,,1,2] = T[3,,T[2,,1,2]] = T[3,,T[3,,3]]
T[3,3,,1,2] = T[T[3,2,,1,2],2,,1,2]
Degenerative case: T[1#] = 3
Deleting case: T[#(,n)1] = T[#]
Reduction case: T[a,,1,c] = T[3,,T[a-1,,1,c],c-1]
4. Chaotic case: T[a,,b,c] = T[3,3,3,...,3,3,3,,b-1,c] with a-1 3s
5. Decomposition case: in T[L(,n)#] where L is a linear array (e.g. 4,3,9 for example) and # is any linear or multi comma array.
Rules:
Degenerative case: T[1#] = 3
Deleting case: T[#1] = T[#]
Chaotic Reduction case: T[p,,0,1,...,1,a,L] = T[3,,p,3,...,3,a-1,L]
Chaotic case: T[p,,a,b,c,...,x,y,z] expands to T[3,3,3,...,3,3,3,,a-1,b,c,...,x,y,z] w/ p-1 3's.
Decomposition case: T[L,,#] expands to T[expand(L),,#] (use L3N rules)
This is enough to formalize the notation to w^w2 level, but not enough to reach the end of planar arrays...
Base Case:
Trilinear notation follows the recursive multi-comma delimiter system.
Zero-Based Expansion Rule: T[a,,0,,1,,...,,1,,2] = T[a,,a,,a,,...,,a,,1] (Then apply the Deleter case to reduce one entry.)
Correction for Invalid Arrays: T[a,,1,,1,,...,,1,,2] = T[a,2,,0,,1,,...,,1,,2] (This is theoretically invalid, but included for clarity.)
Decomposition Case:
The deletion rule persists: T[#(,n)1] = T[#] (Where (,n) denotes any number of commas.)
Recursive Strength:
Extends decomposition from bilinear cases into nested transformations: T[a,,n,,m] = T[3,3,...,3,,n-1,,m-1] (With a−1 occurrences of 3.)
Self-Referential Growth
Examples:
Trilinear recursion: T[3,,1,2,,2] = T[3,,T[2,,1,2,,2]] = T[3,,T[3,,3,,2]]
Apeirotly nested trilinear recursion: T[3,3,,1,2,,2] = T[T[3,2,,1,2,,2],2,,1,2,,2]
Linearly nested trilinear recursion: T[3,,2,2,,2]
Use more structures similarly
Reduction Cases
Degenerative case: T[1#] = 3
Deleting case: T[#(,n)1] = T[#]
Chaotic Reduction: T[a,,1,c,,2] = T[3,,T[a-1,,1,c,,2],c-1,,2]
Extended decomposition: T[L,,#,,2] = T[expand(L),,#,,2] (Using L3N rules.)
Growth Rate Comparison:
Previous notation reached w^(w2)level.
3L3N extends to w^(w3) and a system to go beyond.
Deep Recursion Patterns:
Recursive self-replication enables structures equivalent to tetrated transfinite exponentiation.
Notation supports higher-plane arrays without being restricted by previous decomposition methods.
Trilinear Threes Notation (3L3N) solidifies hierarchical recursion while ensuring deep nesting patterns continue beyond bilinear constructs. This notation bridges between extended transfinite recursion and higher-order decomposition methods applicable in large-scale ordinal growth modeling.
All of this is still part of ex3N!!
As we wrap up, let's refine and categorize some currently unformalized expressions, ensuring a precise recursive structure within Trilinear Threes Notation.
Core Structural Expansions
Recursive Nesting and Pattern Alignment
We can have T[3,,3...3,,3] w/ p-1 a's as T[p,,,2]
Basic Transformations and Equivalency Mapping
T[3,3,,,2] = T[3,,,3] = T[2,,,,2]
T[3,3,3,,,2] = T[4,,,3]
Pattern-Based Accelerated Enumeration
Given the increasingly complex growth, let's optimize by leveraging transfinite shorthand representations to generalize:
Recursive Multi-Level Expansion
T[3,,,3,3], T[3,,,3,,3]
T[3,,,3,3,3,3], T[3,,,3,,,3]
T[3,,,3,,3,,3,3], T[3,,,3,,,3,,,3]
Chaotic and Degenerative Transformations
T[3,,,,3] = T[3,,,3,,,3] = T[3,,,3,,3,3,3] = [too chaotic]
With the refined notation, let's systematize ordinal classification based on recursive depth and transfinite exponentiation. This provides a framework for mapping large transfinite constructs, pushing beyond previous hierarchical growth limits.
Now that we have an amazing notation to build upon time to coin a few newer googolisms.
T[0] = 1
T[1] = 3
T[2] = 9
T[3] = 27
T[4] = 81
T[5] = 243
T[6] = 729
T[7] = 2187
T[8] = 6561
T[9] = 19683
T[10] = 59049
Boring, wasn't it? don't worry, we are going faster now...
Megafugathree = T[3, 2] = 3^^3 = 7,625,597,484,987
Tritri = T[3, 3] = 3^^^3 = 3^^3^^3 = 3^^7,625,597,484,987 ≈ 10^^(7.625e12)
Grahal (G1 using Graham's G letter. Not to be confused with Graham's number) = T[3, 4] = 3^^^^3 = 3^^^3^^^3 = 3^^^3^^7,625,597,484,987 ≈ 10^^^10^^(7.625e12)
Is it still boring? Only for googologists! But hey, why get stuck with small entries?? we can go and have bigger ones!
Threergegol (Etymology: threes + gorgegol) = T[3, 5]
Threelgol (Etymology: threes + gulgol) = T[3, 6]
Threespgol (Etymology: threes + gaspgol) = T[3, 7]
Threectgol (Etymology: threespgol + oct) = T[3, 8]
Threentgol (Etymology: threespgol + ent) = T[3, 9]
Threedecagol (Etymology: threespgol + decagon) = T[3, 10]
Threehendecagol (Etymology: threespgol + hendecagon) = T[3, 11]
Threedodecagol = T[3, 12]
Threetriadecagol = T[3, 13]
Threetetradecagol = T[3, 14]
Threepentadecagol = T[3, 15]
Viginti-threegold = T[3, 20]
Triginti-threegold = T[3, 30]
Quadraginti-threegold = T[3, 40]
Quinquaginti-threegold = T[3, 50]
Centi-threegold = T[3, 100]
Milli-threegold = T[3, 1000]
...
Tritriplex = T[3, 1, 2] = {3, 3, 1, 2}
Tritriduplex = T[4, 1, 2] = {3, 4, 1, 2}
Quinti-expantatri = T[5, 1, 2] = {3, 5, 1, 2}
Sexti-expantatri = T[6, 1, 2] = {3, 6, 1, 2}
Septi-expantatri = T[7, 1, 2] = {3, 7, 1, 2}
Octi-expantatri = T[8, 1, 2] = {3, 8, 1, 2}
Noni-expantatri = T[9, 1, 2] = {3, 9, 1, 2}
Deci-expantatri = T[10, 1, 2] = {3, 10, 1, 2}
...
Multiexpantatri = T[3, 2, 2] = {3, 3, 2, 2} = {3, {3, 3, 1, 2}, 1, 2}
Quadri-multiexpantatri = T[4, 2, 2] = {3, 4, 2, 2}
Quinti-multiexpantatri = T[5, 2, 2] = {3, 5, 2, 2}
Sexti-multiexpantatri = T[6, 2, 2] = {3, 6, 2, 2}
Septi-multiexpantatri = T[7, 2, 2] = {3, 7, 2, 2}
Octi-multiexpantatri = T[8, 2, 2] = {3, 8, 2, 2}
Noni-multiexpantatri = T[9, 2, 2] = {3, 9, 2, 2}
Deci-multiexpantatri = T[10, 2, 2] = {3, 10, 2, 2}
...
Powerexpantatri = T[3, 0, 3] = T[3, 3, 2] = {3, 3, 3, 2}
Expandotetratatri = T[4, 0, 3] = T[3, 4, 2] = {3, 3, 4, 2}
Expandopentatatri = T[5, 0, 3] = T[3, 5, 2] = {3, 3, 5, 2}
Expandohexatatri = T[6, 0, 3] = T[3, 6, 2] = {3, 3, 6, 2}
Expandoheptatatri = T[7, 0, 3] = T[3, 7, 2] = {3, 3, 7, 2}
Expandooctatatri = T[8, 0, 3] = T[3, 8, 2] = {3, 3, 8, 2}
Expandononatatri = T[9, 0, 3] = T[3, 9, 2] = {3, 3, 9, 2}
Expandodecatatri = T[10, 0, 3] = T[3, 10, 2] = {3, 3, 10, 2}
...
Explodotri = T[3, 1, 3] = {3, 3, 1, 3}
Multiexplodotri = T[3, 2, 3] = {3, 3, 2, 3}
Powerexplodotri = T[3, 3, 3] = {3, 3, 3, 3}
(also Tetratri)
Pentatri = T[5,,2]
Hexatri = T[6,,2]
Heptatri = T[7,,2]
Octatri = T[8,,2]
Ennatri = T[9,,2]
Decatri = T[10,,2]
...
Ultatri = T[27,,2]
...
Dupertri = T[3,2,,2]
Trupertri = T[4,2,,2]
...
Latri = T[3,,3] = T[3,3,,2]
We can now bring Aarex's hyperoperation prefixes into the mix!!
Tessoiteratri = T[3,,4]
To remember, T[n,,1,2] = T[n,2,,0,2] = {3,n(1)1,2}
So, we can have Expoiteratri = T[3,,1,2] = T[3,,T[3,,3]]
I am not so familiar with BEAF/BAN behaviours beyond this so I'll not create misconceptions yet.
Any "equalities" will use the ≈ sign instead of =
Multiexpoiteratri = T[3,,2,2]
Powerexpoiteratri = T[3,,3,2]
Exploiteratri = T[3,,1,3]
Megoiteratri = T[3,,1,1,2]
Powiainoiteratri = T[3,,1,1,1,2]
Heptogaiteratri = T[3,,1,1,1,1,2]
Octogaiteratri = T[3,,1,1,1,1,1,2]
Enneogaiteratri = T[3,,1,1,1,1,1,1,2]
Decogaiteratri = T[3,,1,1,1,1,1,1,1,2]
We change the rules slightly so that T[n,,0,,2] = T[3,,n] instead of T[n,,n]
This is the newer ex3N definition. Not in the original source...
Recently I saw a little problem with the old ex3N definition past this and wondered "Hey, how can T[3,,1,,2] degenerate to a puny T[3,,T[3,,3]] which is the same as T[3,,1,2]??"
So, I redefine it.
Not formal yet.
I only have good rules for bilinears. not for higher dimension arrays.
So... let's just try going forward
T[3,,0,,2] = T[3,,3,3]
T[4,,0,,2] = T[3,,3,3,3]
T[5,,0,,2] = T[3,,3,3,3,3]
...
Okay so this makes T[3,,0,,2] just "slightly" lower than Megoiteratri! not bad
T[3,,1,,2] = T[3,2,,0,,2] = T[T[3,,3,3],,0,,2] = T[3,,3,3,3,...,3,3,3] with T[3,,3,3] 3s in total counting all the threes in the array
T[3,,2,,2] = T[3,3,,1,,2]
T[3,,3,,2] = T[3,3,,2,,2]
T[3,,4,,2] = T[3,3,,3,,2]
...
T[3,,0,2,,2] = T[3,,3,,2]
T[3,,1,2,,2] = T[3,2,,0,2,,2]
T[3,,2,2,,2] = T[3,3,,1,2,,2]
...
T[3,,1,3,,2] = T[3,2,,0,3,,2]
...
T[3,,1,1,2,,2]
...
T[3,,1,,3]
...
T[3,,1,,0,2] = T[3,,3,,3]
...
T[5,,,2] = T[3,,3,,3,,3]
...
T[3,2,,,2]
...
T[3,,2,,,2]
...
T[3,,3,,,2]
...
T[3,,3,,3,,,2]
...
T[3,,,4]
...
T[3,,,0,2]
...
T[3,,,0,,2] = T[3,,,3,3]
T[4,,,0,,2] = T[3,,,3,3,3]
...
T[4,,,,2] = T[3,,,3,,,3]
...
T[3,,,,3]
T[3(,5)3]
...
Wow we skipped a lot and the notation is not formalised, but we do know the range we WANT it to be now-- dimensional arrays.
We get some naming inspiration now...
Grangathortri = T[3,2{0,2}2]
Grantotholtri = T[3,2{0,,2}2]
Grantertoltri = T[3,2{0{0,2}2}2]
...
Thothatri = T[3,2{0'2}2]
Wow. our notation is far from defined, but we atleast "defined" it.
Formalising this is a task for later because... BYE!!!!!!!
asdf