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

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