rdfs:comment | - The boogolplex is equal to {10,10,boogol} or {10,10,{10,10,100}} in BEAF. It is equal to \(10 \uparrow\uparrow ... \uparrow\uparrow10\) in arrow notation, where there are boogol ↑'s. The term was coined by Jonathan Bowers.
|
abstract | - The boogolplex is equal to {10,10,boogol} or {10,10,{10,10,100}} in BEAF. It is equal to \(10 \uparrow\uparrow ... \uparrow\uparrow10\) in arrow notation, where there are boogol ↑'s. The term was coined by Jonathan Bowers.
|