📖 Вычисления с оракулами. Конструктивизация квази-алгоритмических понятий.

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