That said, if your goal is to evaluate program A, you can just run a known-halting problem of the same length past the oracle to confirm that it’s valid for evaluation of this program. If you do this for each program you evaluate, then your results become “halts”, “doesn’t halt”, “this is actually a fake oracle, oops”, with 100% confidence :)
Nice! Even simple problems are often just one step away from an interesting idea.
Nice! Even simple problems are often just one step away from an interesting idea.