Googology Wiki
Advertisement
Googology Wiki

This function is based off of a dream I had where I saw its basic idea: xxy, yx+y. The name of the function also came in this dream (not a creative name, is it).

The following functions Rocket(x,y,z), Rocket2(x,y,z), Satellite(x,y,z), and Satellite2(x,y,z) have the non-negative integers as their domain.

Defined recursively as follows:

Rocket(0,x,y) = x

Rocket2(0,x,y) = y

Rocket(x+1,y,z) = Rocket(x,y,z)Rocket2(x,y,z)

Rocket2(x+1,y,z) = Rocket(x,y,z)+Rocket2(x,y,z)

Alternate function definition (I'll call this one the Satellite function):

Satellite(0,x,y) = x

Satellite2(0,x,y) = y

Satellite(x+1,y,z) = Satellite2(x,y,z)Satellite(x,y,z)

Satellite2(x+1,y,z) = Satellite(x,y,z)+Satellite2(x,y,z)

First few values of Rocket(x,2,3):

2, 8, 32768, 50216813883093446110686315385661331328818843555712276103168

First few values of Rocket2(x,2,3):

3, 5, 13, 32781, 50216813883093446110686315385661331328818843555712276135949

First few values of Satellite(x,2,3):

2, 9, 1953125

First few values of Satellite2(x,2,3):

3, 5, 14, 1953139

I'll invent some googolisms:

Satellite(10100,2,3) = Googolsputnik

Satellite(1010^100,2,3) = Googolplexsputnik

Or for all googolism with a value of x, suffix -sputnik is for Satellite(x,2,3)

Satellite2(10100,2,3) = Googolsputniktwo

Satellite2(1010^100,2,3) = Googolplexsputniktwo

Or for any googolism with a value of x, suffix -sputniktwo is for Satellite2(x,2,3)

50216813883093446110686315385661331328818843555712276103168 = Triexplorer

Rocket(10100,2,3) = Googolexplorer

Rocket(1010^100,2,3) = Googolplexexplorer

Or for any googolism with a value of x, suffix -explorer is for Rocket(x,2,3)

Rocket2(10100,2,3) = Googolexplorertwo

Rocket2(1010^100,2,3) = Googolplexexplorertwo

Or for any googolism with a value of x, suffix -explorertwo is for Rocket2(x,2,3)

Advertisement