Дэвид Дойч - Начало бесконечности

Бэббидж и Лавлейс также задумывались об одном применении универсальных компьютеров, которое до сих пор ещё не осуществлено, а именно о так называемом искусственном интеллекте . Поскольку человеческий мозг — это физический объект, подчиняющийся законам физики, а аналитическая машина — универсальное моделирующее устройство, то его можно запрограммировать так, чтобы оно думало так же, как может думать человек (хотя на это будет уходить очень много времени и запредельное количество перфокарт). Тем не менее Бэббидж и Лавлейс отрицали такую возможность. Лавлейс говорила, что «аналитическая машина не претендует на то, чтобы создавать что-то действительно новое. Машина может выполнить всё то, что мы умеем ей предписать. Она может следовать анализу; но она не может предугадать какие-либо аналитические зависимости или истины» [35].

Впоследствии математик и пионер вычислительной техники Алан Тьюринг называл эту ошибку «возражением леди Лавлейс». Лавлейс недооценила не столько вычислительную универсальность, сколько универсальность законов физики. В то время наука практически ничего не знала о том, как устроен мозг с физической точки зрения. Теория эволюции Дарвина ещё не была опубликована, и преобладали сверхъестественные объяснения природы человека. Сегодня послаблений для той малой части учёных и философов, которые до сих пор считают, что искусственный интеллект недостижим, меньше. Например, философ Джон Серл рассматривает проект создания искусственного интеллекта в следующей исторической перспективе: на протяжении веков люди пытались объяснить разум техническим языком, используя сравнения и метафоры на основе сложнейших механизмов соответствующего времени. Сначала предполагалось, что мозг похож на чрезвычайно сложный набор шестерёнок и рычагов. Затем были гидравлические магистрали, паровые двигатели, телефонные коммутаторы, а сегодня, когда самой впечатляющей технологией считаются компьютеры, говорят, что мозг — это компьютер. Но это опять же не более чем сравнение, говорит Серл, и причин считать мозг компьютером не больше, чем паровым двигателем.

В действительности их больше. Паровой двигатель не является универсальным моделирующим устройством, а вот компьютер является, так что ожидать от него, что он сможет делать то же самое, что нейроны, — не метафора: это известное и проверенное свойство законов физики, какими мы их знаем. (И, кстати, из гидравлических контуров тоже можно сделать универсальный классический компьютер и из шестерёнок и рычагов, как показал Бэббидж.)

Как это ни парадоксально, но у возражения леди Лавлейс логика та же, что и у довода, который Дуглас Хофштадтер приводит в пользу редукционизма (глава 5), но Хофштадтер — один из активных современных сторонников того, что искусственный интеллект возможен. А всё потому, что оба опираются на ошибочное допущение о том, что низкоуровневые вычислительные шаги якобы не могут сложиться в высокоуровневое «Я», которое влияет на всё. Разница между ними в том, что они держатся противоположных альтернатив возникающей при этом дилеммы: Лавлейс ошибочно заключила, что искусственный интеллект невозможен, а Хофштадтер — что такого «Я» не существует.

Поскольку Бэббиджу не удалось ни самому построить универсальный компьютер, ни убедить других это сделать, первая подобная машина появилась лишь спустя сто лет. То, что происходило в этот промежуток времени, скорее напоминает древнюю историю универсальности: хотя счётные устройства, похожие на разностную машину, стали создаваться ещё до того, как Бэббидж сдался, его идею аналитической машины практически полностью игнорировали даже математики.

В 1936 году Тьюринг разработал исчерпывающую теорию универсальных классических компьютеров. Но он не собирался строить такой компьютер, а только хотел применять теорию абстрактно для изучения природы математических доказательств. И когда через несколько лет были сконструированы первые универсальные компьютеры, то опять в этом не было никакого особого намерения реализовать универсальность. Их построили в Британии и США во время Второй мировой войны для специфичных военных целей. Британские компьютеры под названием Colossus («Колосс»; в их создании принимал участие Тьюринг) использовались для взлома шифров; американский компьютер ENIAC был предназначен для решения уравнений, необходимых для наведения больших орудий. Оба были построены на электронных вакуумных лампах, которые работали как реле, но почти в сто раз быстрее. В то же самое время в Германии инженер Конрад Цузе собирал на релейных схемах программируемый калькулятор — так, как это должен был бы сделать Бэббидж. Во всех трёх применялись технологические решения, необходимые для универсального компьютера, но ни одно из них не было вполне универсальным по своей конфигурации. Машины Colossus применялись только для дешифрации, и после войны большая часть из них была разобрана. Машина Цузе была уничтожена в ходе бомбардировок Германии союзниками. А вот ENIAC’у судьба позволила совершить скачок к универсальности: после войны ему нашли массу применений, для которых он никогда не предназначался, таких как прогнозирование погоды и проект создания водородной бомбы.