|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Победин Л. Н. Вычислимость с двуместным оракулом //
Том 35 (1994), Номер 5,
стр. 11381147
Продолжено изучение нестандартной концепции обобщенной вычислимости на машине Тьюринга с двуместным оракулом $H(x,y)$. Такой оракул реагирует не только на вопрос $y$, но и на задающую этот вопрос машину $x$. Установлено, что для такого оракула справедлив квазиалгоритмический аналог аксиомы выбора. Построен двуместный оракул, релятивизованный к произвольному тотальному функционалу типа 2. Библиогр. 9.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|