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

Исследована проблема полноты для полиномиальных функций с целыми коэффициентами. Доказано, что система функций является полной только тогда, когда она целиком не содержится ни в одном предполном классе. Мощность множества всех предполных классов равна континууму. Проблема полноты алгоритмически неразрешима. Каждая полная система имеет базис, более того, для любого положительного целого числа n имеется базис мощности n.

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

• Прикладные науки. Медицина. Технология

• Технические науки. Промышленность
• Физико-математические науки
• Социальные (общественные) науки