#kleene hierarchy #turing jump #oracle machine #computability theory #relative computability #degrees of unsolvability #recursion theory #∅' #halting problem oracle