RUS  ENG
Полная версия
ЖУРНАЛЫ // Интеллектуальные системы. Теория и приложения // Архив

Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 3, страницы 19–23 (Mi ista83)

Алгоритмическая неразрешимость задачи о нахождении базиса конечной полной системы полиномов с целыми коэффициентами

Н. Ф. Алексиадис

Национальный исследовательский университет «Московский энергетический институт»

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

Ключевые слова: полином, алгоритм, неразрешимость, проблема полноты, базис, операции суперпозиций, функциональная система, 10-я проблема Гильберта.



© МИАН, 2024