34
комментариями в 1843 г. (объем комментариев составил 50 страниц при
объеме статьи 20 страниц). В комментариях, подготовленных совместно
с Бэббиджем, Ада Лавлейс поясняет принцип работы машины и
рассматривает несколько примеров – нахождение корней уравнения и
расчет линейной и тригонометрической функций [2.8].
Аналитическая машина, состоящая более чем из 50000
компонентов, так и не была построена, так как у Бэббиджа не хватило
денег на её строительство, а люди не верили в эту затею, называя её
«чудачеством Бэббиджа». Тем не менее идеи, заложенные Бэббиджем,
оказали огромное влияние на развитие вычислительной техники. Это
автоматизация вычислений, универсальность вычислительной машины,
набор внутренних инструкций, общая конструктивная схема,
организация ввода и вывода информации, составление программ, циклы
и переменные… Создатель электромеханического компьютера «Mark I»
(1941 г.) Говард Айкен рассматривал свою машину как современный
вариант машины Бэббиджа, в которой пар и шестеренки заменены
электричеством и реле. Составительница комментариев Ада Лавлейс,
создававшая своими разъяснениями основы программирования
цифровых ЭВМ, названа «первым программистом», в честь неё назван
язык программирования вооруженных сил НАТО – «Ада» (1975 г.).
Логика Буля (1854)
В 1854 году Джордж Буль опубликовал работу «Исследование
законов мышления, базирующихся на математической логике и теории
вероятностей», которая положила начало алгебре логики, или булевой
алгебре. Буль первым показал, что существует аналогия между
алгебраическими и логическими действиями, так как и те, и другие
предполагают лишь два варианта ответов – истина или ложь, нуль или
единица. Он придумал систему обозначений и правил, пользуясь
которыми можно было закодировать любые высказывания, а затем
манипулировать ими как обычными числами. Булева алгебра
располагала тремя основными операциями – И, ИЛИ, НЕ, которые
позволяли производить сложение, вычитание, умножение, деление и
сравнение символов и чисел. Таким образом, Булю удалось окончательно
сформулировать основы математической логики и подробно описать
двоичную систему счисления. Он также попытался сформулировать
общий метод вероятностей, с помощью которого из заданной системы
вероятных событий можно было бы определить вероятность
последующего события, логически связанного с ними.
Первоначально алгебра была разработана Булем как обычная для
того времени алгебра, а не как дедуктивная система в позднейшем
смысле. Отсюда и сохранение всех арифметических операций, в том
числе вычитания и деления, которые было трудно истолковать