Алгоритмически неразрешимые задачи и вычислимые функции - online presentation Примеры алгоритмически неразрешимых задач