hyper-e_versus_beaf
E# vs. BEAF
ABSTRACT
In this article we will prove that E# can keep up with up with Bowers' trientrical arrays, a subsystem of BEAF. To do this formally we will first establish many of the basic properties we take for granted about BEAF, E#, and large number sequences in general, and then use these properties to prove the E# keeps up with trientricals at every stage of development.
TRIENTRICAL ARRAYS
First we will define trientrical arrays, and then quickly establish their key properties. We will use the following definition:
Let {a,b,c} be defined when a,b,c are elements of the positive integers as follows:
when c=1; {a,b,1} = a^b
otherwise when b=1; {a,1,c} = a
otherwise; {a,b,c} = {a,{a,b-1,c},c-1}
Let us define a family of functions:
{10,n,1}
{10,n,2}
{10,n,3}
{10,n,4}
{10,n,5}
etc.
We want to establish that all of these functions are Strictly Increasing (S.IN) and everywhere abundant (E.AB). To do so we begin with the base function.
{10,n,1} = 10^n
We know that:
{10,n+1,1} = 10^(n+1) = 10*10^n = 10*{10,n,1}
By Axiom 16 (See Appendix D), the Axiom of Product and Factor [AxP&F], we have:
10*{10,n,1} > {10,n,1}
So we know that {10,n,1} is S.IN. We also know that:
{10,1,1} = 10 > 1
and that:
{10,2,1} > {10,1,1} --> {10,2,1} >= {10,1,1}+1 [Axiom 14] > 1+1 = 2
{10,3,1} > {10,2,2} --> {10,3,1} >= {10,2,1}+1 [Axiom 14] > 2+1 = 3
and in general...
{10,k+1,1} > {10,k,1} --> {10,k+1,1} >= {10,k,1}+1 [Axiom 14] > k+1
So {10,n,1} is E.AB
So {10,n,1} is S.IN/E.AB
Assume {10,n,k} is S.IN/E.AB
{10,n+1,k+1} = {10,{10,n,k+1},k} > {10,n,k+1} [bec. {10,n,k} is E.AB]
Therefore {10,n,k+1} is S.IN
{10,1,k+1} = 10 > 1
{10,2,k+1} > {10,1,k+1} --> {10,2,k+1} >= {10,1,k+1}+1 > 1+1 = 2
{10,3,k+1} > {10,2,k+1} --> {10,3,k+1} >= {10,2,k+1}+1 > 2+1 = 3
...
{10,n+1,k+1} > {10,n,k+1} --> {10,n+1,k+1} >= {10,n,k+1}+1 > n+1
Therefore {10,n,k+1} is E.AB
Therefore for all "k" {10,n,k} is a S.IN/E.AB function of "n".
Next we prove that:
10n < {10,n,1} : n>1
and
{10,n,a} < {10,n,b} : a<b & n>1
10(1) = 10 = 10^1 = {10,1,1}
10(2) = 20 < 100 = 10^2 = {10,2,1}
Assume 10k < {10,k,1} : k>1
10(k+1) = 10k+10 [Axiom 20] < 10k+10k = 20k < 100k = 10*10k < 10*{10,k,1}
= {10,k+1,1}
Therefore 10n < {10,n,1} : n>1
Now we show that each new function is also faster growing.
we want to prove that:
{10,n,k} < {10,n,k+1}
Firstly we have:
{10,1,k} = 10 = {10,1,k+1}
For n=2 we have:
{10,2,k+1} = {10,{10,1,k+1},k} = {10,10,k} > {10,2,k} [S.IN]
Assume:
{10,j,k} < {10,j,k+1}
{10,j+1,k+1} = {10,{10,j,k+1},k} > {10,{10,j,k},k} [S.IN]
{10,n,k} is E.AB, therefore:
{10,j,k} > j --> {10,j,k} >= j+1 [Axiom 14 - AxMS]
Therefore:
{10,{10,j,k},k} >= {10,j+1,k}
Therefore we have:
{10,n,1} < {10,n,2} < {10,n,3} < {10,n,4} < ... : n>1
E#
Briefly we define E#:
if there is only one argument; En = 10^n
otherwise, if last argument = 1; @m#1 = @m
otherwise; @m#n = @(@m#(n-1))
In the previous article where we compared E# to FGH, it was shown that all functions of the form E100#*(k)n are S.IN/E.AB functions of "n", and that:
E100#*(a)n < E100#*(b)n : a<b
E# is at least as strong as {10,n,k}
Firstly we note that:
{10,n,1} = 10^n = En
So here they are exactly the same thing. Next we have:
E100#n = EEE...EEE100 w/n Es
= 10^10^10^...^10^10^10^100 w/n 10s
We want to demonstrate that this is greater than {10,n,2}.
{10,1,2} = 10
E100#1 = E100 = 10^100 = {10,100,1} > 100 [{10,n,1}>n] > 10
Assume {10,k,2} < E100#k
{10,k+1,2} = {10,{10,k,2},1} = E{10,k,2} < E(E100#k) = E100#(k+1)
Therefore:
{10,n,2} < E100#n
Now we want to prove the general case:
{10,n,k} < E100#100#...#100#n w/k-1 100s = E100#*(k-1)n
{10,1,k+1} = 10
E100#*(k)1 = E100#*(k-1)100 > {10,100,k} > 100 > 10
Assume {10,j,k+1} < E100#*(k)j
{10,j+1,k+1} = {10,{10,j,k+1},k} < {10,E100#*(k)j,k} < E100#*(k-1)(E100#*(k)j)
= E100#*(k-1)(E100#*(k-1)100#j)
let @ = 'E100#*(k-1)'
thus we have:
@(@100#j) = @100#(j+1) [def. of E#]
@100#(j+1) = E100#*(k-1)100#(j+1) = E100#*(k)(j+1)
Thus we have proven our general conjecture:
{10,n,k} < E100#*(k-1)n
This proves that every hyper-operator up to trientrical arrays is dominates by a function of E#H. Thus E# is at least as strong as trientrical arrays.
E# is dominated by {10,n,1,2}
On the other hand we can show that:
E100#*(k)n < {10,n,k+2} : n>1
We begin with:
En < {10,n,2}
E1 = 10 & {10,1,2} = 10
but we have:
{10,2,2} = {10,{10,1,2},1} = {10,10,1} > {10,2,1} = E2
Assume Ek < {10,k,2}
{10,k+1,2} = {10,{10,k,2},1} = 10^{10,k,2} > 10^(Ek) > 10*Ek = E(k+1)
Therefore:
En < {10,n,2}
E100#1 = E100 & {10,1,3} = 10
but:
E100#2 = 10^10^100
&
{10,2,3} = 10^^^2 = 10^^10 = 10^10^10^10^10^10^10^10^10^10
so...
E100#2 < {10,2,3}
Assume E100#k < {10,k,3}
{10,k+1,3} = {10,{10,k,3},2} > {10,E100#k,2} > {10,E100#k,1} = E100#(k+1)
Therefore:
E100#n < {10,n,3}
Assume E100#*(k)n < {10,n,k+2}
E100#*(k+1)1 = E100#*(k)100 > 100 [Every function of E# is E.AB]
& {10,1,k+3} = 10
however
E100#*(k+1)2 = E100#*(k)(E100#*(k)100) < E100#*(k){10,100,k+2}
< 10{k+2}10{k+2}100
E100#n < E(10^10)#n = E1#(n+2) = {10,n+2,2}
E100#100#1 < {10,102,2}
E100#100#2 = E100#(E100#100) < {10,{10,102,2}+2,2}
< {10,{10,103,2},2}
YET TO PROVE (CONJECTURE)
E100#*(k)n < {10,n+2,k+1} < {10,n,k+2}
Once this is obtained:
{10,n,1,2}
= {10,10,{10,n-1,1,2}}
> E100#*({10,n-1,1,2}-2)10
now prove that this eventually dominates:
E100#*(k)n for any k.