Краткая история цифровизации - [12]

Тем не менее булева алгебра все-таки смогла проложить себе дорогу, пусть и через третьи руки, в чужой трактовке и с множественными изменениями, в первую очередь благодаря Готтлобу Фреге – архетипическому философу, фанату чистоты и обсессивному педанту.

Если у Фреге и есть враги, то это язык, который он считает недостаточно точным и ясным. Чтобы вытравить из коварного языка всю двусмысленность и размытость, Фреге решительно берется за его переделку в точный инструмент, функционирующий столь же безотказно и эффективно, как законы математики. Его умозаключения безупречны, что дает ему право называть себя философом, смотрящим на мир сверху сквозь микроскоп – в отличие от обычных людей, которые ограничены собственным кругозором. Историки науки хвалят Фреге за то, что своей большой терминологической чисткой он совершил революцию в логике и философии. Именно Фреге считается основоположником философии языка и создателем формальных языков, и именно на него ссылаются такие мыслители, как Карнап, Рассел и Витгенштейн. От идей Фреге рукой подать до информатики и компьютерных наук, поэтому его часто представляют как гения, открывшего дверь в цифровую эру, забывая при этом одну важную деталь: логика, на которой основана вся его теория, позаимствована у Буля (это подметил еще современник великого немца Чарльз Сандерс Пирс, который с досадой писал, что постулаты Фреге в лучшем случае представляют собой «переписанные» труды Буля).

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

Ответ мы можем найти в небольшом рассуждении Фреге о природе мыслей, где он спрашивает себя, чем мысль отличается от молотка. Молоток, пишет он, является рукотворным инструментом, а мысль – как философское осознание – не создается человеком, а внушается ему высшими существами. Мысль как таковая «истинна и вне времени», как планета, которая всегда движется по своей орбите.

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

Если мы тоже хотим последовать их примеру и петь осанну искусственному интеллекту, нам придется позабыть все, что обсуждали на предыдущих страницах: историю про электричество, ангелов и монстров, а также все те неизвестные, с которыми мы долго боролись. Для Фреге с его божественным микроскопом все это – грязь, требующая уборки, поэтому он и утверждает, что не позаимствовал свои максимы у Буля, а был осенен прозрением свыше, как художник, который закрашивает угол картины черным и говорит, что это ему приказал сделать высший разум. Узнаёте? С таким типажом мы уже неоднократно встречались: тут и невеста науки Ада Лавлейс, которая считала себя избранной, и исследователи электричества, которые думали, что могут вершить суд о жизни и смерти. Конечно, для этого надо мнить себя высшим существом, что в случае с Фреге выразилось не только в замалчивании заслуг Буля, но и в исступленном антисемитизме.

И тут наступает 1936 год. (Не удивляйтесь: история компьютера знает много подобных отступлений и идет странными путями, пронизывающими пространство и время словно червоточины.) Во всех домах есть электричество, уже изобрели радио и телевидение. В помещении Массачусетского технологического института стоит стотонный механизм колоссальных размеров, полный разных тяг и зубчатых колес. С помощью перфокарт в него вводится математическая задача, и он, произведя странные движения, в конце концов выплевывает результат вычислений.

Следить за работой его поручено Клоду Шеннону, который от своего начальника знает, что механический монстр построен по образу и подобию аналитической машины Бэббиджа. Это означает, что машина работает доцифровым образом, хотя и приводится в действие с помощью электричества. Агрегат постоянно ломается, и сотрудники института часто проводят время за починкой неработающих реле.

Наблюдая за этим, Шеннон замечает, что электрические цепи очень похожи на символьную логику Буля, про которую он слышал в университете. Клод Шеннон – незаурядный человек, умелый жонглер, любитель кататься на одноколесном велосипеде, а еще изобретатель – берется за дело и начинает придумывать, как усовершенствовать и модернизировать конструкцию механизма и сделать из него по-настоящему цифровой компьютер. Ему кажется, что для этого нужно всего лишь применить законы булевой логики к соединению реле. Чтобы складывать и умножать числа, нужны два реле, подключаемые к цепи по-разному: для арифметического сложения (или, точнее, для выполнения операции логического И) – последовательно: