Электроника и первые компьютеры
Аналитическая машина Беббиджа стала венцом применения механики для вычислений, за последующие сто лет ничего сравнимого сделано не было, они отмечены лишь массовым производством простых счетных устройств и табуляторов. Радикальные изменения, ставшие техническими предпосылками к созданию AI, начались в период с 1930 по 1950 год, когда произошел настоящий взрыв достижений в самых разных областях науки и технологий, от микробиологии до ядерной физики, от телевидения до авиационно-космической отрасли. Успехи в электронике способствовавшие созданию материальной базы для будущих компьютеров.
В первую очередь следует назвать изобретение электронных ламп-триодов с тремя электродами. Напряжение подавалось на два – анод и катод, а управление силой тока осуществлялось изменением напряжения на размещенном между ними третьем – сетке. Управляющий сигнал на сетке позволял варьировать поток электронов между анодом и катодом. Конструктивно на одной лампе, скомпонованной из двух триодов (двойном триоде) можно собрать двухпозиционное электронное устройство – триггер (flip-flop), способное хранить 1 бит данных. Из триггеров собирают регистры, хранящие машинное слово и выполняющие различные виды работ с двоичными числами. Регистры были и остаются основой архитектуры с хранимой в памяти программой.
Не будь компьютеров, никакого AI не могло бы быть и в помине. Трудно представить, но самые первые компьютеры к науке не имели прямого отношения, они были в чистом виде плодом инженерной мысли, строились на основе эмпирических представлений, без какого-либо теоретического обоснования. Теория к ним была несколько искусственно подверстана позже, она ассоциируеться с двумя именами – Алана Тьюринга и Джона фон Неймана, однако их роль и место в истории компьютеров не столь очевидны и значимы, как их обычно представляют. Как математик, Тьюринг вошел в историю тем, что смог справиться с проблемой разрешимости (Entscheidungsproblem), поставленной в 1900 году Давидом Гильбертом. Свои изыскания он изложил в статье «О вычислимых числах, применительно к проблеме разрешимости» (On Computable Numbers, with an Application to the Entscheidungsproblem), опубликованной в 1936 году. Для доказательства Тьюринг использовал изобретенный им виртуальный инструмент – гипотетическую машину, более известную как «универсальная машина Тьюринга» (Universal Turing Machine, UTM). Годы спустя ее стали называть «a-machine» (automatic machine), потому что через 12 лет он описал еще одну гипотетическую машину «b-machine». UTM оказалась связанной с компьютингом благодаря одному удачному, если не сказать фантастически удачному обстоятельству. Так случилось, что в июне 1937 года во время стажировки в Принстонском университете Тьюринг получил возможность пообщаться с Джоном фон Нейманом и изложить ему свои взгляды на UTM. Это обстоятельство подтверждает рекомендательное письмо Тьюрингу, подписанное фон Нейманом, где признанный ученый дал высокую оценку молодому аспиранту.