Алгоритмическая неразрешимость

Найдено 1 определение

Алгоритмическая неразрешимость - в математической логике - свойство математической задачи, заключающееся в отсутствии алгоритма ее решения.