Mathematical Theories of Interaction with Oracles