User blog:Edwin Shade/A Googologist's Rhapsody

Is this Peano math ?

Or is it just ZFC ?

So many systems,

No escape from uncertainty.

Open the books,

Look up under 'I' and see...

The different types of infinity.

Because some are big, some are 'small',

But you can't name them all.

The way that a function grows,

Is what really matters, to me...to me.

Bowers,

Does all he can,

Making BEAF arrays galore,

For all of us to explore.

Saibian,

Likes to have some fun,

Over 9,000 googolisms and he's just begun.

Rayo-o-o-o-ooo...,

Was in a large number battle,

Fighting for victory at MIT,

And he won- Adam lost.

Rayo diagonolized over FOST.

Steinhaus,

With Leo Moser,

Created their own notation,

- A rapid inflation.

Conway's chained-arrows,

Are powerful,

[WILL BE FINISHED]

Then Emlightened came along one day and she defined,

the SASQUATCH !-the SASQUATCH !

Now the largest valid number,

Comprehension smitening-very, very frightening ! -To me !

Godel, Rayo !

Godel, Rayo !

Godel, Rayo !

Godel, Rayo !

Godel, Rayo, Nathan Ho !

Tibor Rado-o-o-o-ooo...

Invented the busy beaver function,

He invented the busy beaver function !

An uncomputable monstrosity !

[WILL BE FINISHED]