Открытие
| Параметр | Значение |
|---|---|
| Дата проекта | 1837 год (первые чертежи) |
| Изобретатель | Чарльз Бэббидж (1791–1871), математик, Лукасовский профессор Кембриджа |
| Сотрудница | Ада Августа Кинг, графиня Лавлейс (1815–1852) |
| Предшественник | Difference Engine No. 1 (1822–1833, строительство прекращено) |
| Технология | Латунные шестерни, зубчатые колёса, кулачки, цепи |
| Вдохновение | Жаккардовый ткацкий станок (перфокарты, 1801) |
| Финансирование | Британское правительство (£17 000), личные средства Бэббиджа |
Техническое объяснение
1. Архитектура из четырёх частей. Аналитическая машина разделяла функции на отдельные компоненты — на целое столетие предвосхищая архитектуру фон Неймана (1945). «Mill» выполнял арифметические операции (сложение, вычитание, умножение, деление). «Store» содержал 1 000 регистров по 50 десятичных цифр каждый, реализованных в виде колонн зубчатых колёс. «Operation cards» задавали операцию (+ − × ÷), «variable cards» выбирали регистры, а «number cards» задавали константы.
2. Условные переходы и циклы. Бэббидж предусматривал механизм «backing» или «anticipating», позволяющий Mill изменять последовательность карт в зависимости от промежуточного результата (например, при отрицательном результате перейти к другой карте). Это предшественник if/else. Возможность перематывать ленту перфокарт теоретически позволяла реализовывать циклы — делая машину тьюринг-полной.
3. Арифметический конвейер. Mill использовал систему «carry anticipation»: вместо последовательного распространения переносов (O(n) времени для n цифр) Бэббидж спроектировал механизм предварительного вычисления переносов, сокращавший время сложения почти до постоянного. Он оценивал сложение 50-значных чисел в 1 секунду, а умножение — в 1 минуту.
4. Алгоритм Лавлейс (1843). В своих «Notes», приложенных к переводу статьи Луиджи Менабреа, Ада Лавлейс описала полноценную программу вычисления чисел Бернулли Bn рекурсивным методом. Она использовала индексированные переменные, вложенные циклы и явное управление памятью, включая указание регистров, которые следует освободить. Она предвидела, что машина сможет манипулировать «любыми объектами, чьи фундаментальные взаимные отношения могут быть выражены отношениями абстрактной науки операций» — предвосхитив символьные вычисления.
Почему это было осуществимо (концептуально)
При жизни Бэббиджа Аналитическая машина так и не была построена. Причина была механической: потребовалось бы 25 000 прецизионных деталей с допуском ±0,001 дюйма — достижимо для прототипа, но не в необходимом масштабе (полная машина весила бы около 15 тонн). После неудачи Difference Engine No. 1 государственное финансирование было прекращено. Тем не менее чертежи Бэббиджа — более 300 технических рисунков — демонстрируют полностью работоспособную архитектуру. В 1910 году его сын Генри построил фрагмент Mill, и он работал корректно.
Вклад Лавлейс выходил далеко за рамки перевода. Она поняла потенциал машины для вычислений общего назначения — обработки символов, а не только чисел. Этот концептуальный скачок был вновь формально осмыслен только в статье Тьюринга 1936 года, почти столетие спустя.
Причинная цепочка
Математические таблицы, полные человеческих ошибок (1820-е) → Бэббидж проектирует Difference Engine (1822) → Механическая неудача → Бэббидж проектирует архитектурно универсальную Аналитическую машину (1837) → Лавлейс пишет первый алгоритм (1843) → Планы забыты на 100 лет → Тьюринг формализует «универсальную машину» (1936) → фон Нейман проектирует архитектуру хранимой программы (1945) → ENIAC (1945), EDVAC (1949) → Эра вычислений
Анекдот
Бэббидж настолько ненавидел лондонских уличных музыкантов, что добивался их запрета через парламент. Он подсчитал, что шум стоил ему 25% рабочей производительности. В ответ музыканты специально приходили играть под его окнами — один из самых ранних задокументированных случаев троллинга.
Источники
Ссылки, проверенные в ходе фактчекинга августа 2026 года: по этим страницам сверялись утверждения данного бюллетеня.