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 4 points 19 hours ago (2 children)

What about TREE(3) though?

[–] tetris11@feddit.uk 6 points 18 hours ago* (last edited 18 hours ago)

Kruskal's Theorem:

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

[–] don@lemmy.ca 1 points 19 hours 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!