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