Oracle

An oracle is a black box that can give an answer to any instance of a certain problem in a single operation. The problem ⁠can be of any complexity class, or it can even be an undecidable problem such as the halting problem.

TODO add a hierarchy of halting oracles