2 ms·
No. The busy beaver function grows faster than any computable function. What's more, for any N > 549, you cannot prove (in the usual universe of mathematics) t
by Certhas 1y ago
No. The busy beaver function grows faster than any computable function.
What's more, for any N > 549, you cannot prove (in the usual universe of mathematics) that any computable number is equal to or larger than BB(N). (At least that's my understanding of the independence results (https://wiki.bbchallenge.org/wiki/Independence_from_ZFC https://wiki.bbchallenge.org/wiki/Independence_from_ZFC))