Ну, а где же он, разумный робот, пришествие которого предопределено теоремой Маккаллока и Питтса?
Если теорема верна, он где-то далеко, очень далеко впереди. Или, если хотите, в фантастических рассказах и даже сказках.
Первый автомат, способный мыслить, был построен, по преданию, Талосом, учеником самого Дедала. Этот автомат в виде медного великана охранял от нападений некий остров. Кто знает, может быть, Талос создал бы что-нибудь и почище, но тут, рассказывает древнегреческий миф, произошла история, достойная и в наше время громового фельетона. Дедал позавидовал своему ученику, приревновал его к славе — и убил несчастного Талоса. После этого убийства ему и пришлось скрыться, бежать с родины к царю Миносу на Крит, где он построил Лабиринт и изготовил крылья.
Мне кажется, что убийство Талоса Дедалом так же маловероятно, как создание Талосом первого робота. Но эти древние греки! Даже богов своих они сделали ворами и обманщиками, а о великих людях помнили (или выдумывали) не только хорошее, но и плохое.
Кроме «меднорукого» исполина можно вспомнить еще Голема средневековых легенд — глиняного истукана, подчинявшегося воле волшебника.
В XIX веке жена поэта Перси Биши Шелли, девятнадцатилетняя Мэри Шелли, создает в своем воображении человека, составленного из частей тел людей и животных. Название для него она применяет явно устаревшее — демон.
Затем появляются роботы Карела Чапека, созданные из искусственной живой материи. Затем думающие машины становятся героями рассказов буквально сотен писателей — с тем лишь недостатком, что в отличие от авторов мифов и Чапека создатели образов роботов большей частью следуют за наукой, а не опережают ее.
Талоса боялись только враги его хозяина. Роботы Чапека уничтожают человечество. Тот же мотив входит в немалое число произведений и последних лет. Мало того, сам Норберт Винер предостерегал людей против думающих машин. Страх перед роботами, по исследованиям западных психологов и социологов, распространен довольно широко.
Но ведь роботов еще нет! Почему же там так боятся несуществующего? Увы, у этого страха людей Запада есть основания. И они не в том, что на Земле действительно может воцариться «машинная раса». Чтобы понять, в чем тут дело, заглянем совсем в другую эпоху истории человечества. В средневековье. Как вы думаете, опасны для человека… овцы? Не похоже. Однако в Англии говорили тогда, что овцы едят людей. Имелось в виду вытеснение полей пастбищами, захват помещиками под овечьи пастбища общинных земель. Скотоводство было для них выгодней земледелия, а рабочих рук требовало меньше, и крестьяне оказывались сразу и без земли, и без работы, а значит, без хлеба.
Трудно заподозрить в сознательной злой воле и паровоз и текстильный станок. Однако первые легенды о «бунте машин» появились именно в ту пору, когда это были, пожалуй, самые сложные из машин.
Рабочие, у которых машины отняли хлеб, боялись их так же, как боятся сегодня роботов многие интеллигенты США, которым вполне реально угрожает безработицей применение вычислительных машин.
Таковы, пожалуй, главные социальные корни и предупреждений Винера (которому лично, разумеется, голод не угрожал) и многих других обвинений против «грядущего робота».
А вот что говорит академик А. Н. Колмогоров:
«…Нужно стремиться этот глупый и бессмысленный страх перед имитирующими нас автоматами заменить огромным удовлетворением тем фактом, что такие сложные и прекрасные вещи могут быть созданы человеком».
В общем, по-видимому, «Последнее море» моделирования может быть достигнуто. Но не все согласны с теми признаками, по которым Тьюринг предлагает определить, что мы «вышли на берег».
В гневной книге с подзаголовком «Миф о думающих машинах» обрушивается, в частности, и на концепцию Тьюринга американский ученый Таубе. Он уверяет, и даже довольно убедительно, что уже достигнутые возможности машин переоцениваются, что совершенство того, что уже сделано в кибернетике, сильно преувеличено.
Ссылаясь на ряд теорем, Таубе утверждает, что есть проблемы, принципиально неразрешимые для машины (правда, тут же встает вопрос, разрешимы ли эти проблемы и для человека).
Подвергнув жестокой критике ряд положений кибернетики, поставив под сомнение (правда, бездоказательно) верность теоремы Маккаллока и Питтса, Таубе выдвигает взамен критерия Тьюринга другое условие.