О ГРАНИЦАХ ТРАНСФИНИТНОГО ПОСТРОЕНИЯ ИНФЛЯЦИОННОЙ НЕПОДВИЖНОЙ ТОЧКИ

Дудаков, С.М. (2018) О ГРАНИЦАХ ТРАНСФИНИТНОГО ПОСТРОЕНИЯ ИНФЛЯЦИОННОЙ НЕПОДВИЖНОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 72-80. ISSN 1995-0136

[thumbnail of elibrary_35660177_8783918172-80.pdf]

PDF - Published Version
379kB

Abstract

В работе показано, что если универсум допускает существование оператора инфляционной неподвижной точки, который не вычисляется за конечное число шагов, то существуют операторы инфляционной неподвижной точки, требующие для своего трансфинитного построения произвольного числа шагов вплоть до ординала

Abstract (en)

We consider inflationary fixed point operators which are not computable in finitely many steps. In this case we prove that for any ordinal

Item Type:	Article
Additional Information:	Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета.
Uncontrolled Keywords:	инфляционная неподвижная точка, дискретный порядок, трансфинитное построение
Keywords (en):	inflationary fixed point, discrete order, transfinite construction
Subjects:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
Divisions:	Университеты > TverSU
ID Code:	8197
Deposited On:	23 Nov 2018 08:16
Last Modified:	23 Nov 2018 08:16

Repository Staff Only: item control page