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