Алгоритмически неразрешимые задачи презентация, доклад Примеры алгоритмически неразрешимых задач