3 ms·
This approach leaves open the possibility that f(x) = BB(p+d) right?
by _alternator_ 1y ago
This approach leaves open the possibility that f(x) = BB(p+d) right?
- linschn 1y agoNo, because f is assumed to be computable from the start, which BB is not (otherwise it could be used as a subroutine in a program that solves the halting problem).