LogoTver State University Repository

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

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

[img] PDF - Published Version
340kB

Abstract

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

Abstract (en)

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

Item Type:Article
Additional Information:1. Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета.
Uncontrolled Keywords:инфляционная фиксированная точка, неразрешимость, теория одной функции следования
Keywords (en):inflationary fix point, undecidability, successor function
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
ID Code:7944
Deposited By: С.Б. Федорова
Deposited On:14 Sep 2018 07:28
Last Modified:14 Sep 2018 07:28

Repository Staff Only: item control page