User blog:Sbiis Saibian/Order of the Kasnerites

Googology as popularly understood, is a catch-all term for anything related to "large numbers" ... no matter how tangentially. Consequently this wiki has incorporated information from a variety of sources including mathematics, science, cosmology, computer science, number theory, among others. No matter how grand or mundane the topic, if it involves large numbers it will probably be considered of "googological interest". Googology itself is billed as "the study of large numbers". Does this really capture everything that googology is, or has come to represent?

One thing that I have noticed that seems to generally not be recognized in the discussion is googology as a cultural phenomenon, googology as a community, and googology as a ''tradition. ''In fact, many times these aspects have been dismissed and downplayed or out right denied. Instead anything involving large numbers, regardless of motivations, subject matter, relation to other work, or how the author self identifies is considered "googological", and the person is knowingly or unknowingly a "googologist" by default.

So for example we get such notions as "Harvey Friedmann is a googologist" and "googolism's are not a big or important part of googology". This makes sense only if we think of googology as a catch-all for anything involving large numbers, but when I speak of googology I am usually talking about a tradition, about how we got here and who "we" are. But who are "we"? Phrases like "googology is still playing catch-up with the mathematicians" make no sense if googology is just about large numbers, but makes perfect sense if googology is a tradition which borrows from academia but grew out from it not within it.

Bottom line is we have been talking about two different things, two different uses for googology and this has lead to a difficultly in two halves of the community understanding each other. I think it's time to make this distinction clear: googology may be viewed as a topic that encompasses anything related to large numbers, but there is also a tradition, albeit small, that has repeatedly been downplayed and swept under the rug. There is a tacit lack of acknowledgemention of where we came from. This wiki did not emerge in response to Harvey friedmann's work. Harvey friedmann's work was sought out and incorporated because this community existed. The same can be said for ordinal notations, fgh and many other things. These are loaned from academia but googology existed before these things, and googology was not empty of content prior to them. There is a tacit assumption that what we do here, in the community, is "not important", that the work of community members is "secondary".That at best the googology community is redundant, and all the meaningful accomplishments exist in academia. Googology is about large numbers and the best ways to get there? Right? Thats our received wisdom and basically almost every one would agree with that statement without much question. But if this is true a lot of what we do here doesn't make sense. Why not have the community agree what's the most efficient way to get large numbers and have a universal notation or concept. Why have a dozen different notations by a dozen different authors with confusingly similar appearances? Why have literally 80 percent or more of the wiki be articles about the names of numbers, all various different number systems again by several different authors applying a cornucopia of methodologies?

I'll put it simply: our community has a blind spot. We do things the way we do them without thinking to much about ''why. ''we tell ourselves googology is only about large numbers, yet there are many things we do that are not absolutely essential to that. Googology, as practiced is often whimsical. But why? It's not essential. We could treat it with the upmost seriousness, focusing purely and math and finding the most efficient methods. Why the propensity of "googolisms", why does the word googolism even exist? We don't need to name any of these numbers, and genreally the notations are more useful for expressing specific numbers. Then again why bother expressing anything smaller than the largest possible number we can for a given notation. Or better yet just mention notations but don't have any articles on specific numbers. For those who understand googology as a tradition none of these question should be difficult to answer, but for those who still insist googology is just about large numbers , and doesn't contain anything that is arbitrary, incidental, and contingent these statements will seem baffling.

So let me try to explain what I'm talking about: I'm talking about the series of events and individuals that lead to the existence of this wiki and of the very concept of "googology" and I will try to show you that it grew from academia not within. That those most central to its development were far from the world of academia.

A popular recount of our history usually begins with Archimedes and his sandreckoner. It's a work with many of the hallmarks of what would become googology, but the reason why it's not really where our story should begin because Archimedes, as far as we know, did not inspire a community of followers in the tradition of the sandreckoner. Ditto for other key incidents. Chuquets illions inspired prof. Henkle to make more, and this in turn may have inspired people like Luis Epstein, but the trail goes cold. Few people in the community dabble in illions because they are precieved as too small and cumbersome to work with, and furthermore Luis Epstein himself disavowed any association with googology. This is why I have sometimes referred to him as illionist instead. In fact Epstein has made it clear that he considers the vast majority of nomenclature of googology to be completely erroneous, ostensibly because it is (1) arbitrary and (2) does not attempt to name all numbers, just subsets of them, ie. How do you correctly count from a googol to a googolplex is proper english. Epstein is not interested in presenting yet another system of naming numbers, but working out the system of naming numbers, the correct and most logical way. This expresses a completely different notion than that of the googology community: there is no right system. Everyone who wants to can make their own system. Is this difference of opinion strictly about large numbers, or is it about something more, like say ''the purpose and meaning of nomenclature. ''In academia the answer is clear and epstein is in the right. The purpose of nomenclature is to have a general standard that can be used by a community of researchers for clear communication, and so it is in most areas of life. The googology community is different in that nomenclature isn't a means to and end but an end in itself. It is a way for community members to express their creativity and have ownership of their creations. Hence there is no "standard" way to name numbers and in fact doing so would deprive them of their creative impulse. Is this about large numbers, or are these things that are just so natural to our community that we never think to question them.

So if it's not Archimedes and it's not chuquet that started the wiki, what did? The answer is, fortunately, really simple in our case: Edward Kasner. Kasner was a mathematician, but he also wrote popular books of mathematics for the average person. Like several other books in this genre the emphasis is not on rigorous proofs but on exploration and creativity, introducing people to ideas they would not likely have thought about without prompting. It is in one such book "mathematics and the imagination" published in 1940, that we get the googol and googolplex, the true starting point of something we can recognize as googology. Ironically Steinhaus beat kasner by a year publishing "mathematical snapshots" in 1939, introducing the mega and megiston. These numbers were both vastly larger than the googolplex, but they didn't catch on. Meanwhile the googol and googolplex became household words to the point that they were officially included in dictionaries, no small honor for any googolism. But this was not enough to get anything going. It was an invitation to continue but nothing really took hold, and that's because coming up with weird number names was at best a passing personal amusement. Something you might do as a kid, never tell anyone and forget. The idea of a community around such a pass time was unlikely. For that you needed the internet. And here we reach the real watershed moment. Someone finally did answer the call and didn't just continue it but completely transformed it by taking it to a completely different level. In fact sometwo answered the call. The twin pillars of googology: Jonathan Bowers and a mysterious Andre Joyce, established most of the conventions of googological practice. They were both directly inspired by Kasners work, and they both directly expanded upon the googol, Bowers creating giggol, and joyce stranger things like googoc. Their methodologies and idealogies differed greatly but I think both shaped the early direction of what being a "googologist" meant or could mean, at any rate. It is Joyce who gave us the word "googology" and was the first to self-identify as a "googologist". It was Bowers who gave us the notion of an ever expanding personar notation, and organizing numbers into "groups". Both contributed to different forms of "zaniness" in the early community. Both had hundreds of names seemingly continuing in the kasnerIan tradition, something not rrally seen before. It was something new. It inspired a young Nathan Ho to create googology101, following in a Joycian style tradition that emphasized the absurdity and I'm practicality of the "mathematical" creations. Bowers inspired me and changed the direction of my own work, relating to his work and recognizing that I had done something similar as a kid without having known it was even a thing. And lastly and most importantly the wiki got formed which served as a lightning rod bringing those who dabbled with silly names for ridiculously large numbers to one place.

The first things on the wiki were not grahams number, TREE (3), or latin squares. To this day in fact there is no article for TREE (3), just one for the tree function. What first appeared on the wiki was a googol and a googolplex, Kasners work. What followed was Bowers and Joyce's work as well as googolism's from googology101. This is how it began, and the influence of kasner, Bowers and joyce is palpable.

Yet in recent years these creators have been underplayed and fallen from grace. Bowers notation was deemed "ill-defined" with an implication of it being completely ambiguous and undefinable. Joyce's work was discredited as broken and sloppy.

Attempts to define googology as something in the lines of a tradition and community have been met with great skepticism. The most common side step to say "why do we even need to define googology". The answer is to define ourselves, determine where we came from, and where we should go from here.

The very word "googology" has become devisive. It has become impossible to talk about the community in a way that talks only about what we have created, what standards we have, and what values and ideas we hold, outside of the confines and controls of academia. Therefore I think it's time we abandon the label. What I want to identify with a new label is those who follow in the traditions of the works of kasner, bowers, and joyce and who recognize ourselves as a social phenomenon and community which has been spreading and growing. A word has a lot of power and it's when there is a word for something that it really begins to exist and becomes something you can become a part. This wiki by itself using the term "googology" made it into a thing where before it was a very loose association of "events". Being a "googologist" is assuming a certain kind of identity, one not properly codified or understood by academia. I don't think our community is different than many other nerd/geek cultures that have emerged and have defined themselves through a term. Like the furries, the bronies, and the trekkies, bits and pieces of what would emerge can be seen throughout history. For example one might furries began back and Egypt and the Egyptians would draw pictures of their gods and animal human hybrids. One could say it began with cartoons and carton companies like Disney that employed anthropomorphic characters. One might call Walt Disney a furry, but that would only make sense if furry were a descriptive label rather than a proscriptive one. If everything inviking people-animals is furrdom, then you can make that case. But that ignores a very real objective phenomenon, the ideas of what it means to be a furry, the activities and ideas it involves, did not become prevalent, did not become an "identity" until the word "furry" was invented and one could identify as such. That's the power of a word. It can create and invent a whole category a whole community that didn't previously exist.

So how shall I disambiguate what is meant when the word "googology" is only meant to address this community of self-idenfiers and their conventional practices? I would say the people I am talking about are all, whether aware of it or not, followers of what kasner started. Shall we call this the Kasnerian tradition, and those who practice it kasnerites? I might say I'm one. I also feel that I am very much a disciple of Bower's. Does that make me a Bowerite?

Everyone is of course free to identify how they chose. We can debate what the criteria are for fitting in a certain category, but you have to at least admit, what kasner started has snowballed into something more. We at the wiki may not observe it directly here, but a community of kasnerites is growing every day. New people keep finding the wiki, and they start replicating the same patterns of behavior that were first seen in Bowers. Coming up with a personal notation, giving it a special name