|
Сибирский математический журнал, 1994, том 35, номер 5, страницы 1138–1147
(Mi smj708)
|
|
|
|
Вычислимость с двуместным оракулом
Л. Н. Победин
Аннотация:
Продолжено изучение нестандартной концепции обобщенной вычислимости на машине Тьюринга с двуместным оракулом $H(x,y)$. Такой оракул реагирует не только на вопрос $y$, но и на задающую этот вопрос машину $x$. Установлено, что для такого оракула справедлив квазиалгоритмический аналог аксиомы выбора. Построен двуместный оракул, релятивизованный к произвольному тотальному функционалу типа 2.
Библиогр. 9.
Статья поступила: 16.09.1993
Образец цитирования:
Л. Н. Победин, “Вычислимость с двуместным оракулом”, Сиб. матем. журн., 35:5 (1994), 1138–1147; Siberian Math. J., 35:5 (1994), 1014–1021
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj708 https://www.mathnet.ru/rus/smj/v35/i5/p1138
|
|