Algorithms and oracles in mathematical theories and models Presentation uri icon