FANDOM


Motivation

The idea here is to extend the concept of ordinary scientific notation to much larger numbers. The properties of scientific notations we wish to preserve here are:

(1) Any number has a unique standard representation in the system.

(2) Given the standard representation of two numbers, one can immediately tell which one is larger without any calculations.


The format of the proposed notation

Our final notation will look like this:

<letter><number>

where <letter> can be one of the following: E,F,G,H,J,K,L,M,N,P

and <number> can be any positive real number (nonintegers included).


The First Levels: A Continuous version of Knuth Arrows

We'll define:

Ex=10^x

Fx = EEEE...EEE(10^frac(x)) with int(x) E's

Gx = FFFF...FFF(10^frac(x)) with int(x) F's

Hx = GGGG...GGG(10^frac(x)) with int(x) G's

Note that according to these definitions we have:

(1) For x≤1: Ex = Fx = Gx = Hx = 10^x

(2) For any integer n:

En = 10↑n

Fn = 10↑↑n

Gn = 10↑↑↑n

Hn = 10↑↑↑↑n

So the above definitions are - indeed - an extention of Knuth arrows to nonintegers.


Letter-Canonical Forms

If x is a number greater than 1 and A is a one of the letters E,F,G,H then there is a unique number y such that:

x = Ay.

And we call "Ay" the A-Canonical Form of the number x.

For example, the E-Canonical form of 1000 is E3:

E3 = 10^3 = 1000.

And the F-Canonical form of 1000 is about F1.47712:

F1.47712 = E(10^0.47712) ≈ E3 = 10^3 = 1000.

Binary-Letter-Canonical Forms

To recreate ordinary scientific notation, we'll define a binary version of the letter functions like this:

Let A be one of the letters E,F,G,H. Let n be a nonnegative integer and x be a real number between 1 and 10. Then:

xAn = A(n+log(x))

For Example:

7E3 = E(3+log(7)) = 10^(3+log(7)) = 7*10^3 = 7000
7F3 = F(3+log(7)) = EEE(10^log(7)) = EEE7 = 10^10^10^7

So xEn is nothing more than ordinary scientific notation.

And xFn is a power tower of n 10's topped by an x (which is equivalent to Ex#n in Saibian's Hyper-E notation)

And again, given any specific letter (E,F,G OR H), ANY number greater than 1 has a unique representation as xAn (with 1≤x<n). So we can call this the Binary-A-Canonical Form of x.


Universal-Canonical Forms (up to H10)

A quick a look at the definitions of E,F,G and H tells us that:

F2=E10
G2=F10
H2=G10

Realizing this, we can define a "Universal-Canonical Form" of any number x<H10 like this:

(1) if x<100 (that's E2) then we write down the E-Canonical Form of x.

(2) Otherwise, we write x as Ay for some letter A and 2≤y<10.

It is easy to see that since <letter>2 = <previous letter>10, the letter A in (2) is uniquely defined.


Examples of Universal-Canonical Forms (up to H10)

1 = 1E0 = E0
2 = 2E0 ≈ E0.3010
3= 3E0 ≈ E0.4771
10 = 1E1 = E1
11 = 1.1E1 ≈ E1.0414
20 = 2E1 ≈ E1.3010
100 = 1E2 = E2
1000 = 1E3 = E3
2016 = 2.016E3 ≈ E3.3045
10000 = 1E4 = E4
1 million = 1E6 = E6
1 billion = 1E9 = E9
10 billion = 1F2 = F2
1 trillion ≈ 1.079F2 ≈ F2.033
1 quadrillion ≈ 1.176F2 ≈ F2.070
Avogadro's Number ≈ 6*10^23 ≈ 1.376F2 ≈ F2.139
googol = 10^100 = 2F2 ≈ F2.301
googolchime = 10^1000 = 3F2 ≈ F2.477
googolgong = 10^100000 = 5F2 ≈ F2.699
trialogue = 10^10^10 = 1F3 = F3
googolplex = 10^10^100 = 2F3 ≈ F3.301
{4,4,2} = 4^4^4^4 ≈ 10^10^153,9 ≈ 2.187F3 ≈ F3.340
tetralogue = 10↑↑4 = 1F4 = F4
Skew's number ≈ 10^10^10^34 ≈ 1.531F4 ≈ F4.1851
Gag(4) = 2↑↑7-3 ≈ 10^10^10^19728 ≈4.295F5 ≈ F5.633
Decker = 10↑↑10 = 1G2 = G2 (and the F-Canonical form is F10)
Giggol = 10↑↑100 ≈ 1.301G2 ≈ G2.114 (and the F-Canonical form is F100)
Mega ≈ E619#256 ≈ 1.382G2 ≈ G2.141 (and the F-Canonical form is ≈F257.446)
10↑↑(10↑10) = 2G2 ≈ G2.301
Tritri = {3,3,3} ≈ 2.045G2 ≈ G2.311
Googolstack = 10↑↑googol ≈ 2.301G2 ≈ G2.361
Triataxis = 10↑↑10↑↑10 = 1G3 ≈ G3 
{4,4,3} ≈ 3.340G3  ≈ G3.524
10↑↑↑9 = 1G9 ≈ G9
10↑↑↑10 = 1H2 ≈H2
10↑↑↑11 = 1.00758H2 ≈ H2.00328 (the G-Canonical form is of-course G11)
Megiston ≈ 1.00764H2 ≈ H2.00330
10↑↑↑12 = 1.01414H2 ≈ H2.00610 (can also be written as G12)
2 in a hexagon ≈ 10↑↑↑Mega ≈ 2.141H2 ≈H2.331
Grahal = {3,3,4} ≈ 2.311H2 ≈ H2.364
10↑↑↑↑3 = 1H3 = H3
Tritet = {4,4,4} ≈ 3.524H3 ≈ H3.547
10↑↑↑↑4 = 1H4 = H4
{5,5,4} ≈ 4.655H4 ≈ H4.668
10↑↑↑↑5 = 1H5 = H5
{6,6,4} ≈ 5.753H5 ≈ H5.760
10↑↑↑↑6 = 1H6 = H6
{7,7,4} ≈ 6.830H6 ≈ H6.834
10↑↑↑↑7 = 1H7 = H7
{8,8,4} ≈ 7.895H7 ≈ H7.897
10↑↑↑↑8 = 1H8 = H8
{9,9,4} ≈ 8.951H8 ≈ H8.952
10↑↑↑↑9 = 1H9 = H9
10↑↑↑↑10 = H10 (which is not a universal canonical form because 10 isn't less than 10. We'll later see that the universal canonical form of 10↑↑↑↑10 is J4)


Comparing Canonical Forms

Let A and B be one of the letters E,F,G,H and x,y positive real numbers.

Then:

(1) Ax > Ay if and only if x>y

(2) If Ax and By are both Universal Canonical Forms, then:

(i) If A and B are the same letter then Ax>By if and only if x>y
(ii) if A and B are different letters, Ax>By of and only if A comes after B in the alphabet.

Note that rule 2ii only holds if both numbers are written in Universal Canonical Form. For example E100 (a googol) is bigger than F2 (ten billion) even though F comes after E. This is okay, because E100 is not canonical (100 being greater than 10).


Bonus: A Continuous Generalization on of Bowers Linear Arrays

This wasn't my original intention, but it so happens that my letter notation (all the way up to P) is completely equivalent to Bowers Arrays for integer arguments. So one could use the above definitions to write any number as a Bowers array. So far, we have:

{10,x,1} = Ex

{10,x,2} = Fx

{10,x,3} = Gx

{10,x,4} = Hx


Note that the noninteger number can only be in the second place of the array, but that's not really a limitation because one can write any number in the form {10,x,n}. Also, it isn't difficult to create a "letter notation" in bases other than 10 (just replace all the 10's in the definition with whatever base you wish). So we can actually write any number of the form:

{b,x,n} where b>2 is an integer, x is real and n∈{1,2,3,4}

For example:

{3,2.5,2} = F2.5 (in base 3) = EE(3^0.5) in base 3 = 3^3^3^0.5 ≈ 1581.6 which is indeed between {3,2,2}=27 and {3,3,2}=7625597484987.

And that's all for now. Later I'll post the definitions of the letters J-P which will give us a "Universal Canonical Form" for any number under P10 = {10,12 (1) 2}.

Oh, and your feedback is most welcome :-)

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.