Профиль » Публикация
Опубликовано
2002-00-00
ЖурналСибирский Математический Журнал
Арифметика второго порядка и пульсирующие иерархии
Гайлит Е. В. Арифметика второго порядка и пульсирующие иерархии // Сибирский Математический Журнал, том 43, № 1, 2002, http://www.emis.de/journals/SMZ/
Аннотация
Осуществляется машинно-оракульное моделирование арифметики II-го порядка средствами итерированной клиниевской вычислимости. Искомый оракул строится посредством пульсирующего трансфинитного процесса, представляющего собой модификацию аналогичного процесса, использованного Н. В. Белякиным для решения частного случая этой задачи.
http://www.emis.de/journals/SMZ/2002/01/33.pdf
http://www.emis.de/journals/SMZ/2002/01/33.ps
Показать статистику Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
