7.4 Некоторые алгоритмически неразрешимые проблемы