Calling a mere 30 minutes “extensive” is a wild take. 2.5 hours into googology and I haven’t even started talking about Rayo’s number, tetration, or up-arrow notation yet.

[–] boonhet@sopuli.xyz 5 points 2 months ago (2 children)

What about TREE(3) though?

[–] tetris11@feddit.uk 7 points 2 months ago* (last edited 2 months ago)

Kruskal's Theorem:

^you^ ^wish^ ^I^ ^was^ ^joking...^

[–] don@lemmy.ca 1 points 2 months ago

lol I’d thought about adding it, don’t know why I didn’t. BB-n too, I reckon. Good thing you brought it up!