3.26. Разрыв вычислительных петель 313

чае, независимо от того, входит высказывание Р в систему Q* или нет.

Могут найтись и другие способы, с помощью которых роботам удастся "перескочить" через ограничения, налагаемые некоторыми ранее принятыми критериями присвоения -статуса -высказываниям. В этом нет ничего "парадоксального" - до тех пор, пока роботы не попытаются применить подобное рассуждение к тем самым механизмам М, которые обусловливают их поведение, т.е. к собственно системе Q*. Возникающее в этом случае противоречие не является, строго говоря, "парадоксом", однако дает возможность посредством reductio ad absurdum показать, что такие механизмы существовать не могут или, по крайней мере, не могут быть познаваемыми для роботов, а следовательно, и для нас.

Отсюда мы и делаем вывод о том, что такие "роботообу-чающие" механизмы - восходящие, нисходящие, смешанного типа, причем в каких угодно пропорциях, и даже с добавлением случайных элементов - не могут составить познаваемую основу для построения математического робота человеческого уровня.