moZg — 2007-06-30 07:32:36

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

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