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