[thedudeabides5]

aren't oracles, just attempts to escape the halting problem?

assume you have an O which doesn't halt

now feed P which DOES halt into O

oh look it catches it!

misses the boat

[bongodongobob]

No, in fact you can use oracles to prove the halting problem.