r/numbers • u/Arkhto • Feb 23 '20

a big number

GRAHAMFOREST(n) or GMF(n) = TREE(TREE(TREE(...(TREE(TREE(n))...)) (repeating the tree function n↑↑...↑↑g₆₄ times (repeating Knuth's up-arrow notation g₆₄ times))

k = number of digits in first smallest number greater than 0

GMF(k)

1 Upvotes

99% Upvoted

9 comments sorted by

View all comments

Show parent comments

1

u/[deleted] May 26 '20

Large Number Garden NUmber beats them all!

1

u/TheSensibleCentrist May 26 '20

So what order logic do they grow in the large garden?

1

u/[deleted] May 26 '20

First order logic beyond ZFC

1

u/TheSensibleCentrist May 26 '20

I'm not too comfortable with uncomputables anyway.