Дудаков, С.М. (2018) О ГРАНИЦАХ ТРАНСФИНИТНОГО ПОСТРОЕНИЯ ИНФЛЯЦИОННОЙ НЕПОДВИЖНОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 72-80. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
379kB |
Абстракт
В работе показано, что если универсум допускает существование оператора инфляционной неподвижной точки, который не вычисляется за конечное число шагов, то существуют операторы инфляционной неподвижной точки, требующие для своего трансфинитного построения произвольного числа шагов вплоть до ординала
Абстракт (англ.)
We consider inflationary fixed point operators which are not computable in finitely many steps. In this case we prove that for any ordinal
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета. |
| Ключевые слова: | инфляционная неподвижная точка, дискретный порядок, трансфинитное построение |
| Ключевые слова (англ.): | inflationary fixed point, discrete order, transfinite construction |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. |
| Подразделения: | Университеты > Тверской государственный университет |
| ID Code: | 8197 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 23 Ноя 2018 08:16 |
| Последнее изменение: | 23 Ноя 2018 08:16 |
Repository Staff Only: item control page
