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

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

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