Рассматриваются вычисления на абстрактных машинах с оракулом. Ставится цель: перенести основные конструкции таких вычислений в язык программирования на современных компьютерах. Для этого в работу машин и процедуру их общения с оракулом вводятся специальные ограничения и исследуются изменения, возникающие в основных принципах программирования
проблема остановки, перечислимые множества, арифметические множества