НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ

Дудаков, С.М. (2014) НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 7-15. ISSN 1995-0136

[thumbnail of elibrary_22791045_99595925 2014 № 4 7-15.pdf]

PDF - Опубликованная версия
340kB

Абстракт

В работе продолжается исследование определенности оператора инфляционной фиксированной точки. Показано, что проблема определенности бинарного IFP-оператора для теории следования алгоритмически неразрешима

Абстракт (англ.)

We continue to investigate definiteness of inflationary fix point. We show it is impossible to check algorithmically whether IFP-operator value is defined for one successor function theory

Тип объекта:	Статья
Сведения об авторах:	1. Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета.
Ключевые слова:	инфляционная фиксированная точка, неразрешимость, теория одной функции следования
Ключевые слова (англ.):	inflationary fix point, undecidability, successor function
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
ID Code:	7944
Deposited On:	14 Сен 2018 07:28
Последнее изменение:	14 Сен 2018 07:28

Repository Staff Only: item control page