Dice Question Streamline Icon: https://streamlinehq.com

Higher-order Busy Beaver bounds if standard Busy Beaver is not the limiter

Establish that if physically realizable growth is not bounded by the standard Busy Beaver function BB(n), then it is bounded by a higher-order Busy Beaver function associated with a stronger oracle computational model, yielding analogous physical laws on growth and convergence.

Information Square Streamline Icon: https://streamlinehq.com

Background

Earlier sections introduce generalized Busy Beaver functions for oracle machines stronger than standard Turing machines, implying hierarchies of increasingly fast-growing bounds. In the conclusions, the author conjectures that even if standard BB(n) is not the correct physical bound, a higher-order Busy Beaver bound would apply.

Confirming this would extend the proposed lawlike bounds to universes permitting hypercomputation, preserving the linkage between computability limits and physical growth/convergence rates.

References

(I further conjecture that if growth isn't bounded by the Busy Beaver function itself, it will be bounded by some higher-order Busy Beaver function, leading to similar laws.)

Bounds on the rates of growth and convergence of all physical processes (2410.10928 - Ord, 14 Oct 2024) in Conclusions (final paragraph)