4 ms·
Yes, I should have thought more about it. So these BB(N) numbers are direct complexity bounds on various mathematical statements.
by cft 6y ago
Yes, I should have thought more about it. So these BB(N) numbers are direct complexity bounds on various mathematical statements.