The big hoss is equal to \(\{100,100 \underbrace{////\ldots////}_{100} 2\}\) or {L,100}100,100 in BEAF. The name comes from the nickname of Jonathan Bowers' late grandpa.
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
dcterms:subject | |
dbkwik:googology/p...iPageUsesTemplate | |
abstract |
|