is there a (useful) finite number that is so big we haven't been able to formulate an upper bound for it?
@SuricrasiaOnline Busy beaver numbers come to mind. There is no computable function f such that f(n) > BB(n) for all n.
@SuricrasiaOnline When you start invoking Ackerman functions or chained-arrow notation I tend to assume we've left the realm of "(useful)", so I'm going to go with "no", but I'm sure there are grad students who would disagree.
@SuricrasiaOnline the biggest number we know of are TREE(3) and the output of the SSGE function
are they useful? well, we know what they relate to, and for such big numbers, we guess it implies some useful understandings of math :3
but, probably not what you mean