Дудаков, С.М. (2014) НЕРАЗРЕШИМОСТЬ ПРОБЛЕМЫ ОПРЕДЕЛЕННОСТИ БИНАРНЫХ IFP-ОПЕРАТОРОВ ДЛЯ ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 7-15. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
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 By: | С.Б. Федорова |
| Deposited On: | 14 Сен 2018 07:28 |
| Последнее изменение: | 14 Сен 2018 07:28 |
Repository Staff Only: item control page
