2.06. Joyce's googol-based naming systems
Introduction: Who is Andre Joyce?
A particularly strange set of large number prefixes and suffixes based upon some curious observations about the names "googol" and "googolplex" was invented by a mysterious figure named Andre Joyce. Who exactly is he?
Andre Joyce is the person who coined the word "googology", and his work is among the widely recognized works of googology, along with Jonathan Bowers' work, the other popular large number notations (the works of Knuth, Graham, Steinhaus, Conway, and Cockburn), and more recently the works of other googologists like Sbiis Saibian. So surely we must know who exactly he is, right? Nope, not at all. Very little is known about Andre Joyce. We don't know where or when he was born, what he looks like, whether or not he's alive, where he lives; in fact, it's pretty dubious that he ever existed! The only records of his existence are strange texts on Michael Joseph Halm's website (A, B) and on Razilee Purdue's website. From those we can gather that he is heavily involved with something called "pataphysics", a movement initiated in France by Alfred Jarry in the late 1800s.
I can't claim to know exactly what pataphysics (sometimes written 'pataphysics) really is. It's typically defined as the study of "what lies beyond metaphysics". While metaphysics attempts to answer the questions "what is ultimately there" and "what is it like", pataphysics apparently goes beyond that. But what does that mean? Perhaps pataphysics is just the study of the absurd, or maybe a parody of some sort. It seems as though the idea of what pataphysics is is intentionally confusing. I can't really say for sure; I'm probably missing something. That said, let's continue with how Joyce is involved in pataphysics.
The idea of absurdity (perhaps the main goal of pataphysics) is very prevalent in Joyce's work. An example is something called "jootsy calculus", a system Joyce invented that changes up the whole notation of numbers in some weird way such that 2+2 = 5 and other crazy stuff, and that is of course incredibly silly and easily leads to contradictions. Joyce has devised other strange systems as well, for example a whole set of extrapolations from the word "dubious", and an intentionally confusing game called "dominissimo". This suggests that pataphysics is partially about inventing such humorous absurd systems.
But Joyce's googology page, an article published by Michael Halm that is said to be a translation of Joyce's work, clashes with the absurdity that characterizes pataphysics by its very nature! While pataphysics studies the absurd, googology intends to study large well-defined numbers that ultimately must refer to mathematical soundness, not just strange nonsense, and there's no getting around that!
On the other hand, much of Joyce's text is erroneous anyway, and an old version of his googology page before it was updated in mid-2014 is even more erroneous. Sbiis Saibian went so far as to write a lengthy article on his large number site critiquing Joyce's work (the old version of the article to be specific), showing just how much of it is erroneous! Are the errors somehow part of the pataphysics, or is there just a ridiculously huge amount of errors? Nobody knows for sure.
It seems that Andre Joyce most likely doesn't exist, not only because the only texts describing him (for example his biography on Michael Halm's site) are either extremely dubious texts or themselves cite those texts, but also becase figures like Andre Joyce are commonly invented by pataphysicists. Some large number enthusiasts like Tyler Zahnke have done intensive research on pataphysics, and found that pataphysicists invent fictional people like Andre Joyce as a persona of sorts, and when they die other people compete to take on that persona. This suggests that Joyce is probably a pataphysical moniker someone took on to publish absurd works.
So if Andre Joyce didn't create his googology, who did? Most likely it was Michael Joseph Halm, who was born 1947 and is the founder of a corporation called "Hierogamous Enterprises". In that case he can be credited with coming up with the term "googology" and everything else "Joyce came up with".
In any case, Andre Joyce really is quite a mysterious figure, but that mystery and strangeness seems to be part of the nature of pataphysics. I think we're now ready to examine Joyce's system.
The Googo- Prefix
The googo- prefix is easily Joyce's most memorable creation. Although it was probably Michael Halm who created it, the prefix is typically credited to Joyce anyway, as is all the other googology on that page. Joyce starts by making a curious observation about the name "googol". He noticed that "googol" ends in L (the Roman numeral for 50), and that it can be expressed as 10050 = (2*50)50. Joyce then generalized this with a prefix googo-, which can be applied to any number n written in Roman numerals to turn it into (2*n)n. A commonly given example of this would be the googoc. Since C is 100 in Roman numberals, googoc is (2*100)100 = 200100 ~ 1.2676*10230. Joyce gives some examples of the prefix:
googoc = 200100 ~ 10230
googoci = 202101 ~ 10232
googocci = 402201 ~ 10523
googoccic = 598299 ~ 10803
googom = 20001000 ~ 103300
(note: red names are googolisms Joyce himself mentioned)
These examples all are correct and pretty easy to parse if you know Roman numerals. But the name "googoccic" is a bit of an oddity. CCIC in Roman numerals can be easily read as 100+100+(100-1) = 299, but that's technically not correct usage of the system; in proper Roman numerals, you can only put a lower-tier letter in front of a higher-tier one if the two letters are of neighboring tiers and differ by a factor of five, like I and V, X and L, or C and D. Joyce, however, allows taking such liberty with Roman numerals in his system for compactness's sake.
A notable problem with the googo- prefix is pronunciation. First off, how do you distinguish the double c's and single c's in pronunciation, like googoci vs googocci? I think it makes sense the "cc" like "ch" in "chair". This is because of the name "googocci" for 402201. Joyce himself notes that the name is Italian-like, which suggests that the cc is pronounced like "ch".
But beyond that, many of the names are impossible to pronounce at all. For example, how would you say the name:
googommdcccxlviii
To solve this problem, Joyce allows usage of "el" in place of L, "ex" in place of X, and "em" or "ump" (I prefer the first) in place of M. In the 2014 overhaul of Halm's page, a few more substitutions were added: "vy" in place of V, "cy" in place of C, and "dy" in place of D. Those littlehey are pronounced "vee", "see", and "dee" respectively, as in "ivy", "Nancy", or "lady". In addition, in place of II and III he allows "ij" and "ox" respectively. "ij" is sensible enough, but "ox", which comes from the Mayan word for three, is more confusing because it contains the letter X which is the Roman numeral for 10. In an early predecessor of this article, I suggested the less confusing "iji" instead, and that alternate replacement was later added to the webpage in 2014 to note that people came up with that. With that the unpronounceable number shown above might be called:
googomemdycyccexelviji (pronouncing "cc" the same way I pronounce it in "googocci")
Joyce gives some example numbers of that usage:
googolex = 12060 ~ 10124
googoxem = 1980990 ~ 103263
googomump = 40002000 ~ 107204 (alternatively can be called googomem)
and on the old verrsion of his page he gave an erroneous example:
googolmox = 20061003 ~ 103312
What's wrong with this number name? The "lmox" following the googo- prefix would be read as not 1003, but 953. A correction would be changing the name of the number to "googomox" without the L, or alternatively "googomiji". Since then the example was removed from the article.
So the googo- prefix is a pretty cool prefix alright. But Joyce gives an additional extension to his system, using a lesser-known extension to Roman numerals.
In Roman numerals, putting a bar on top of a letter or group of letters multiplies it by 1000. In typing we'll use /A where A is any letter to denote a bar on top of that letter, and for multiple letters we can use (for example) /(XV) to denote 15,000, which is XV with a bar above it. We can use two bars to multiply a number by a million, three to multiply by a billion, and in general x bars to multiply by 103x. For example /////////////////////////////////X would be X with 33 bars on top of it, which is 10*103*33 = 10100, a googol.
So how does Joyce apply this idea of bars to his googo- system? He uses "bar" after a set of letters to denote applying a bar to them, "barbar" for two bars, "barbarbar" for three bars, and so on. Those can be compacted to "dubar", "tribar", etc, using Latin prefixes. He gives some examples of the system in action:
googolbar = 100,00050,000 = 10250,000
googocbar = 200,000100,000 ~ 10530,103
googodbar = 1,000,000500,000 = 103,000,000
googombar = 2,000,0001,000,000 ~ 106,301,029
googomembar = 4,000,0002,000,000 ~ 1013,204,199
I think you get the idea. Let's move on to googolple-, the googo- prefix's more convoluted sibling.
The Googolple- Prefix
If we can have a googo- prefix, why not have a prefix based on the googolplex to go along with it? This is where the googolple- prefix comes in.
Originally Joyce defined googolple-n (n is written in Roman numerals) to be n(2n)^n. Is this a working definition like the googo- prefix is? Well, to find out we'll see if we get the right value of a googolplex in the system. Since "googolplex" ends in X and X is 10 in Roman numerals, we get:
googolplex = 1020^10 = 1010,240,000,000,000
That isn't a googolplex at all! That's a mere 1 followed by 10.24 trillion zeros, in contrast to a googol zeros! Even the decimal expansion of a googolplex dwarfs the decimal expansion of this erroneous value of a googolplex by a factor of 1087! That's more than the number of atoms in the observable universe! Suffice to say that Joyce failed to get a googolplex that way. He failed to realize that googolplex ends in X and not L, so his definition makes no sense! He didn't even coin any googolisms with that prefix.
Fortunately, it's easy to come up with an alternate interpretation of that prefix that works really nicely: googolple-n can be redefined mean nn^n^2. That definition actually works:
googolplex = 1010^10^2 = 1010^100
That said we can try some example values of the googolple- prefix:
googolplei = 11^1^2 = 1. Trivial of course. "Googolplei" (I pronounce it /goo-gol-play/) can then be seen as an alternate name for 1, just as "googoi" can be seen as an alternate name for 2.
googolpleij = 22^2^2 = 65,536. A bigger value but still not too bad.
googolpleiji = 33^3^2 = 319,683 =
15054164145220926243143298033398654543076143473537427823628361588037621543571301695623049264407339299686835128946425225443147826
94978793056133076813094097134265149891474798790301793683936668668122285885321242839049917911226083599955908180577131260402529543
90825572156980273373583837580121485895020837482154030980078789959118358897293550190079996486248184747752443899739456235047364423
34340264449180923862032373721103041062506593780125745533233578404272817694355494119034087892415581159553444177665845561067414178
02798425935427557862711101539209357770321784224675771599385052786314344013782530295440009659996542203535006888500391981112684308
35354952341375891024553906141477454531215690034685310974315287055057627765856345799692927895719431506632005831210573766339715595
08145755565137282097601570923832022078513418953646013882192412910190940854648052228760154965309445367023936846368878240702513600
43094725585077115276499291932021506184721825866662885353023501219471295740038483977645171336874391555707844506149613853035756136
72545295015461941410267436925527708675304434976978636357475563244598471100543462532174113098209437635895680706269332201309995284
65911723696379451234379509178882111255496057359862889587710804096797256376246508804835264315162962684856485371330030695400531740
33661838916587479996787688828184891332775947016776827940268227670787008122473227438465924988007834165046966129808212405101073107
93145243499893888475760309710078069340046583800458764399151722180714073980964254548634999641759360455888995111008181272964236496
75861180575299409125634578831950500582196834881847467913599246402743804938245328780371835700553894646696439253532812485180678663
53096332040434580411902311018875322894839933792532454133886677476714891682457003333026093511320683420423894607714295542860070627
18260050729581081009160958529896006263811058869018115618108028202606541058886815955305340705242438592920408498984897595774258809
29604186454171395384746747160467644222788246631818591794851263662282260043766820614615742247946680888917609431111964443845450113
01201605902825294925144437051101686433854042100735707731807175426325939877684398926815042795299559803365281548080329879219300460
00288456363234407837694895755866892539105215806311767596959264298587086225271519503981087785251935938103414167637704383166945018
47590075040210810716906685947380077182469744725823543447706588324768834763195562774985477798540217873298009604291129795418962227
07410294020703494850515339245724208723298869489791691862793888648534039423093969963180426640098614852078911399894210447463851579
04972981771809481173476688814283808979944326298601130810480709033462866873975855756377777365651400918119591814053906367489580734
64466557363547202664370524151400189210741771647667960261006847774366070395219311527186379209439027226907110564971290375618800743
03716347916709548363796201782086218891707155330578995512658868482779772621112073596819747785057131677015028716587838983967234254
55454601657730885115871699770515859695133049775459481351236599815337548464128991291744846062538241236356320755425152966041506718
65907958836281902907426790237882271302563288613436612237649386048826478270866889971585530976643980567559081588367994216316415534
37731062521084297834752274999830405319675220175429135759586669103142743857048841343698215900725219270252611543565045677318718748
15655259394180313386453818548990724430642292711400862527302677489677119581804986116070499932039146909826779483158926176010930901
31230276263165247404303103302830312349238931851942362810611095371728245035650497938755128164297995830988798545113694176618213622
91927540111008644381029834698730359225597682125598053265711642177090789521634707884339612776492195292345627422856642958733287401
38967637276610693796007305021952233153129671157517706379002469224700938271826906592319107874679378648842111388870411689752215816
15809725014624250894939079035701448869701225935495734868690083108274643511778596506264788318426355551685325057973634424815602788
02088705064438658947077577926534776259860381847579191636779774739124609565560222380064803670078848440254465689067468592234540004
79181072735083387525927430723352137025136080981726751136646937248835485845074642275387495583707948623870288278304191229500525752
01685936407713769282830574759622625902354074518375724965919525401514696438912583055540778987018405913542432995957670724845442314
46080372548854276128228661686214442124253981141003327266142902413696827053620368699893025163525148764446871374801698907705820971
54355517668512838410073545158750807961331953508628678112921092870442226630161324953159425661691063898565545137384074905972827467
83788129812979028109503241161061784577387960452863724350171347066771273284045313314470700496181528490374495712531002858110305051
59539468891047945176401021419941150776227070726503478608301848060879630242508714747051988948924438643066475221039036228700696823
05070581931390368522989146714169420871775766810908143775167071343708823175760081493188819364520311966082783347757550465775029509
33021658385593261204224399525473710430759971031704944666789119562813171876627178000796751381637146162157621172495330036896761396
75311317986127563131147616402002241090989709604788265982543599411809249981495754195257688846522003865500888401668194432424935547
89750987393253436795086719523948952745680608126167016769436327994622730122210440930364917119310967079530541904275845595637013692
99915883478734365510317172883464725931841268114513352852326194150262314827331578658523047772005607177845339134471379234432915977
44849489623876110627621601709355477480035870252506434945606286097335123645549123381752780139572159601320770559640404368557477004
75035989721572625042506506781751568259590390676696040486777935752801698638129934481379615318674945310223223075584575234981586405
33674141280895252001960337471335391147429195976673894626270274982809064126149798002611144117956042410908431484297293144189777073
27777349049273806674066423321062271202575841491499413844857238879529343168429045708304972544241165775135548874100071149860327599
24601511883203154595963130840208891386942907453311007044715736981288853058606168327793000926559039310111364541240125028344094645
84844333009577401283293493039008367787888279244266225536069272217590225197445509010407462445804022196511466478790505344309665368
34232257476027366490827353298690723942904765354388952251096444798759298126110198358728235473584344622269020059298863855829775363
65549864413666067949559365860718155808973963837676006040855697197315737374091258869701835448503585704025959307792943420651499835
67369192782283585767877138301831484935478193298974952368755399951266354845353400432428523745301248044044708393440400571446739095
58000526586419130504740032442509303377455025411535889442061461951534710010280328103701799660607773400431843036735013585729529807
15367093890586299813496871369671768970129687475538583843155711360664976538108442601926592955312644548124410673926103130062816382
88464133553640683734596126398182938134198336119384208860678303356828827368326257900841199908953148996330700884531858248914582382
41432779434726735369140487179015162036960769713882565226212063116929267313791250181117863133139961036249841585335851225354780328
31911585680689924912630994666917212107395006782792167239335356245873887688625627726626980090338922528182072746544055132320403552
27840226575046496393275493419760224857745518332093719771947474490238055095972352329299931650875643223082679628745093828111016315
93339312487212977480870556728606527711917528149711311619139973463037891895041950911862996650912386950382318111329371957913765679
39956682111034119509512099459598416590116102462780752825946449617236631611431001317432729284458139292920669057845906190420202614
56588909752856983303495725439602194929423039519729669279699195312423939672161515410790600325610938658274950993043477617170053148
30798152671008900002312553488467754784261726724860302299280753841013051787495553854405197757610265381544744426420249218393989860
39320604203530228489300855150872774019263237545927066668584541668663191720435630143953324508246043231346282331897262599648173476
99334724873094310181800468506104501596188346299057817355426208801711234312356953071644447461655788233775970095817597818456353908
69466633390305944919525753433790458465344715232382753401483963349947225710436171972490636778916156329920537172202699850030801801
00753308342305343627139637364945326216219370237770141252583654264012285596322608288532782374130967638664840256772747285396629699
56447978620221096889348481140866932043278886016448912698142678770331532421176612706563423029175990613905628975118698384321766599
91516607340108966803386654733446742090530041030906483869375855161880214161722428831577346339594312504992743854125245020580924751
38360381507815158681921203777897473666992471039467222118914326469268892801802305990771242381101174845657564205756010133090613714
31336140276299989375652515113690436089015610847111352868139911962612563048078408429270338261244540505201213850795092606728672300
52761865624665898517407484882779733144477503687585278866977335252485633290599907814758932328688147701189963046176607976269842153
20374729275395730214352147964248404198973377840192662536451626396849226092380575215644337620940038468224252605386377043700587230
47408010462311425378038791427283199211721973874526685271925015961226614367134563010518266085961390928949673283942571081582168645
131291677580454185880097800510818762686617859227
That above is a pretty cool number. It has exactly 9392 digits, so it's much bigger than the number of atoms or Planck volumes in the observable universe. However it's still easily written out as shown above.
googolpleiv = 44^4^2 = 44^16 = 44,294,967,296 ~ 9.6304*102,585,827,972
This has 2.586 billion digits! It's possible to compute, but would require a huge amount of operations and a massive file to store it, taking up a fairly significant portion of even today's hard drives.
googolplev = 55^5^2 ~ 102.05*10^17
This has 205 quadrillion digits. It would take about 100,000 terabyte hard drives to store all those digits. Think about how much space that would take up, just to store the fifth smallest number expressible using the googolple- prefix!
We can also name numbers larger than a googolplex using that prefix. For example:
googolplem = 10001000^1000^2
= 10001000^1,000,000
= 1000(10^3)^1,000,000
= 100010^3,000,000
= (103)10^3,000,000
= 103*10^3,000,000
That's not one followed by three million zeros. It's one followed by three times "one followed by three million zeros" zeros! An unfathomable number alright.
There's a third interpretation of the googolple- prefix that is not quite in the same spirit of googo-, but is arguably more logical. That interpretatation comes not from backforming the name "googolplex", but from backforming the "-plex" suffix itself which is itself backformed from the googolplex. Since based on the name "googolplex", x-plex = 10x, and "plex" ends in X which is Roman numerals for 10, we can generalize this to x-ple-y (y is written in Roman numerals) = yx. Then googolple-n would equal n10^100.
Now that above can not only form numbers of the form googolple-x (e.g. googolpleij = 210^100 ~ 103.010*10^99 or googolplem = 100010^100 = 103*10^100), but also any number of the form googo-x-ple-y. For example:
googocpled = 500200^100 ~ 103.42*10^230
googomemeliplemeli = 10514102^2051 ~ 1010^7410
I think you get the idea.
So which system is better? I personally prefer the googolple- prefix that is similar in spirit to the googo- prefix, for its aesthetic appeal, though I have to give some credit to the -ple- infix idea as well for its simplicity.
In any case, Joyce takes this strange system a step further by extrapolating the other parts of the name "googol" in a somewhat confusing fashion ...
The Extended Googo- Prefix
Most of Joyce's googologisms, including his googolisms (his named numbers), are extrapolations of some sort, and his crazy extended googo- prefix is a great example. He in fact has two versions of that system, an old version (on the old version of Halm's article) and a new version (on the current version of Halm's article).
Joyce's g-function
Before we can learn about the extensions to the googo- prefix, we need to learn about a variant Ackermann function of Joyce's invention that's popularly known as the g function. He represents many of his numbers not with conventional notation, but with that strange function, making his pages a little hard to read.
The function's definition is pretty loose but easy to see what it means:
g(0,a,b) = b+a
g(1,a,b) = b*a
g(2,a,b) = ba
g(3,a,b) = b^^a
g(a,b,c) = g(a-1,g(a-1,b,c),c)
From that loose definition we can gather that when n ≥ 2, g(n,a,b) = b^n-1a, so really the 3-argument function is just Knuth's up-arrow notation in disguise. He gives a further rather ad-hoc polyadic extension of his function, loosely defining it for 4, 5, and 6 arguments (only the 6-argument version actually produces significantly larger numbers!). Sbiis Saibian discusses that function in depth in his large number site.
Old Version
Joyce observed that:
googo-x = g(2,x,g(1,x,2))
and concluded that just as the letter(s) after googo- refer to x, the "oo" must refer to the red 2, the "o" to the 1, and the number of g's to the blue 2. In other words, in Joyce's idea "oo" means 2 and "o" means 1. That means that (for example) we can swap the "oo" and "o" around to get:
gogool = g(1,50,g(2,50,2)) = (250)*50 = 56,294,995,342,131,200
That's about 56 quadrillion, so it's much smaller than a googol. Still smaller would be:
gogol = g(1,50,g(1,50,2)) = (2*50)*50 = 100*50 = 5000
That's even smaller than a gogool. It's not even that impressive of a number in day-to-day life.
NOTE: A gogol is also the name of a googolism by Sbiis Saibian equal to 1050, the square root of a googol. We'll examine Sbiis Saibian's googolisms in detail in section 3.
We can also make numbers larger than a googol, for example:
googool = g(2,50,g(2,50,2)) = (250)50 = 250*50 = 22500 ~ 3.7583*10752
or googooc = g(2,100,g(2,100,2)) = (2100)100 = 210,000 ~ 1.9951*103010
and also an ambigious name, googoox. Is it googo-ox = (2*3)3 = 216, or googoo-x = (210)10 ~ 1.2676*1030? This is why I prefer the unambiguous "iji" in place of "iii".
Joyce also decided to make some sort of g-repeating scheme to add on to this weird system, defining:
googgo-x = g(2,x,g(1,x,3)) = (3x)x
googggo-x = g(2,x,g(1,x,4)) = (4x)x
etc.
We can of course change around the "o" and "oo" as well.
With that Joyce named two googolisms:
googgol = g(2,50,g(1,50,3)) = 15050 ~ 6.7362*10108
This number is relatively close to the googol itself. It's 674 million times larger, but that's pretty close on this scale.
googgool = g(2,50,g(2,50,3)) = (350)50 = 32500 ~ 6.3553*101192
This is a lot larger than a googol. It's bigger than a googol to the eleventh power.
These are weird, but I'll admit they're pretty cool. One problem with those is pronunciation: how do you distinguish "googol", "googgol", and "googgool" in speech? I myself pronounce them /goo-gol/, /goo-guh-gol/, and /goo-guh-gool/ respectively.
We can also have bigger amounts of g's, for example:
googggool = g(2,50,g(2,50,4)) = (450)50 = 42500 ~ 1.4125*101505
I pronounce this /goo-guh-guh-gool/.
This system isn't all that impressive size-wise, but Joyce's further extensions allow for a pretty cool system.
So apparently we now have "o" as a vowel for 1, and "oo" as a vowel for 2. What about vowels for 3, 4, 5, etc? In a seemingly random pattern Joyce gives us:
ee = 3, or = 4, ie = 5, i = 6, e = 7, ei = 8
If you peruse the text, however, it mentions that the sounds came from the English names for the numbers "three", "four", "five", "six", "seven", and "eight". On the old version of the page there were only a few Joycian googolisms that can be named with that system listed:
geegeel = g(3,50,g(3,50,2)) = (2^^50)^^50 ~< 2^^100 [Knuth Arrow Theorem]
geeggeel = g(3,50,g(3,50,3)) = (3^^50)^^50 ~< 3^^100 [Knuth Arrow Theorem]
NOTE: The Knuth Arrow Theorem, a theorem proven by Sbiis Saibian, states that for all a ≥ 2, b and c ≥ 1, and n ≥ 2, (a^nb)^nc ~< a^n(b+c). We'll be making heavy use of it in the next article.
Now we're talking! Those go WAY beyond all those googo- and googolple- numbers, or any numbers using only "o" and "oo" as vowels. These numbers fall in the high tetrational range, and I pronounce them /gee-geel/ and /gee-guh-geel/ respectively.
geiggeil = g(8,50,g(8,50,3)) = (3^^^^^^^50)^^^^^^^50 ~< 3^^^^^^^100 [Knuth Arrow Theorem]
geiggeim = g(8,1000,g(8,1000,3)) = (3^^^^^^^1000)^^^^^^^1000 ~< 3^^^^^^^2000 [Knuth Arrow Theorem]
These are MUCH larger than the previous two numbers. These don't just use tetration, but the much harder-to-understand hyper-operation, enneation! I pronounce these /gay-guh-gail/ and /gay-guh-game/ respectively because that's the way "ei" is pronounced in the word "eight" it's derived from.
To better understand this system here are some more example numbers:
gorgel = g(4,50,g(7,50,2)) = (2^^^^^^50)^^^50
This is "two octated to fifty" pentated to 50. It's a strange salad number since it is made by applying an operator to a number way beyond numbers formed with that operator. It isn't even bigger than 2^^^^^^51! It's easy to see why:
(2^^^^^^50)^^^50
< (2^^^^^(2^^^^^^49)^^^50
< (2^^^^^(2^^^^^^49)^^^^^50
< (2^^^^^(2^^^^^^49 + 50) [Knuth Arrow Theorem]
< (2^^^^^(2 * 2^^^^^^49)
< (2^^^^^(2^^^^^(2^^^^^^49))
< (2^^^^^(2^^^^^^50)
< 2^^^^^^51 [Knuth Arrow Theorem]
Even that is a massive overestimate.
Another example:
giggeemel = g(6,1050,g(3,1050,3)) = (3^^1050)^^^^^1050
This is three tetrated to 1050, heptated to 1050. It's another weird number that is not quite as much of a salad number as a "gorgel", but still less than 3^^^^^1052. To see why consider this:
(3^^1050)^^^^^1050
< (3^^^^^2)^^^^^1050
< 3^^^^^1052
NOTE: To prove that 3^^1050 < 3^^^^^2, consider this:
3^^1050
< 3^^(3^^3)
= 3^^^3
< 3^^^(3^^^3)
= 3^^^^3
= 3^^^^(3^^^^1)
= 3^^^^^2
Hopefully you get the idea of this whole crazy vowel scheme.
New Version
The Joycian googol-extrapolation system was recently changed to a different version that is somewhat more sensible than the old version, but in my opinion it doesn't have the same strange mix of sheer whimsy and charming appeal the old version has.
In this version, Joyce made observations about the form of a googol written as:
(2*50)(1*50)
In this new system, it seems that "oo" and "o" still mean 2 and 1 respectively, but here the "oo" refers to the red 2 and "o" refers to the blue 1. Once again we can swap stuff around to get numbers like:
gogol = (1*50)(1*50) = 5050 ~ 8.8818*1084
This is much larger than the value of a "gogol" in the old version of the system, or the old "gogool" or even Sbiis Saibian's gogol (1050).
gogool = (1*50)(2*50) = 50100 ~ 7.8886*10169
Note that unlike the value of "gogool" in the old system, this is larger than a googol.
And also:
googool = (2*50)(2*50) = 100100 = 10200
This number is in fact smaller than the value of a googool in the old system.
So as you can see, so far this system is pretty different from the previous system.
In Joyce's further extensions, "ee", "or", etc, mean 3, 4, etc, like previous, but here they are used in the same way "oo" and "o" are used in this system.
For example, in this system:
geegeel = (3*50)(3*50) = 150150 ~ 2.5923*10326
This is much less than the value of a geegeel in the old system, (2^^50)^^50.
A larger number would be:
geigeil = (8*50)(8*50) = 400400 ~ 6.6680*101040
Hmm, these values are pretty disappointing compared to the values that can be created with all those vowels in the old system.
So how do we get higher hyper-operators using this weird system? Well, in this system the g-count indicates the hyper-operator. For example, while googol = (2*50)50 = 10100, googgol in this system is (2*50)^^50 = 100^^50, googggol in this system is (2*50)^^^50 = 100^^^50, etc.
For further understanding of how the new system works, let's compare numbers the two systems produce in a table:
* Here I'm borrowing Jonathan Bowers' operator notation (we'll examine it in section 3), where {a} means a up-arrows.
As you can see, the new version of the system is probably more sensibly designed than the new one. However, I personally don't enjoy it as much as the old system, which more easily produces large numbers.
Conclusion
Joyce's crazy system is, if anything, weird. It is something quite different from the modern goal of googology, made with some sort of weird extrapolations. But I'll admit, I think it's pretty cool. It largely has a special spirit of whimsicality, something that is thought by some as a relevant part of googology but by others as trivial. In any case, I think we're done with looking at that system. Up next for us to look at is another one of the popular large number notations, Steinhaus-Moser notation.