Comment Comment by linschn No, 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). parent linschn 1 year ago