|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Теоретические основы информатики
О границах трансфинитного построения инфляционной неподвижной точки
С. М. Дудаков Тверской государственный университет, г. Тверь
Аннотация:
В работе показано, что если универсум допускает существование оператора инфляционной неподвижной точки, который не вычисляется за конечное число шагов, то существуют операторы инфляционной неподвижной точки, требующие для своего трансфинитного построения произвольного числа шагов вплоть до ординала $\omega^\omega$ в любом универсуме. Для дискретного порядка продемонстрирована возможность построения за произвольное число шагов.
Ключевые слова:
инфляционная неподвижная точка, дискретный порядок, трансфинитное построение.
Поступила в редакцию: 20.08.2018 Исправленный вариант: 24.09.2018
Образец цитирования:
С. М. Дудаков, “О границах трансфинитного построения инфляционной неподвижной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 72–80
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk510 https://www.mathnet.ru/rus/vtpmk/y2018/i3/p72
|
Статистика просмотров: |
Страница аннотации: | 255 | PDF полного текста: | 141 | Список литературы: | 26 |
|