Derivatives of the Busy Beaver function – Math – Snap! Forum https://forum.snap.berkeley.edu/t/derivatives-of-the-busy-beaver-function/13109
Define βB(x,y) as BB(x) but restricted to an input size of y.For infinite y,it is uncomputable,otherwise the halting problem would be solvable by simulation. For finite y,it is computable by brute force.It is monotonic …
you can’t have infinity-1))It is uncomputable too,since by computing it we can find