Статья прослеживает, как исследования игр Чарльзом Бэббиджем и Адею Лавлейс стали прямым источником ключевых идей символического счёта и архитектуры Аналитической машины — предка современных компьютеров.
Игры как источник новой математики
В 1810–1820‑е Бэббидж, вдохновляясь работами Лейбница, развивает «геометрию положения» — способ описывать конфигурации объектов в пространстве и времени без декартовых координат. Он целенаправленно использует игры как модельные системы:
- Шахматы — сложная игра на доске 8×8, где он изучает задачу «тура коня» (Knight’s Tour) и вводит новый символический язык, связывающий ходы с порядком во времени.
- Игры случая (монета, лотерейные шары) — показывают, что классическая теория вероятностей не учитывает порядок событий; Бэббидж вводит символическое описание последовательностей исходов.
- Пасьянс (solitaire) — одиночная головоломка на доске с лунками и фишками, служит моделью обращаемых последовательностей ходов.
- Крестики‑нолики (tic‑tac‑toe) — простая игра 3×3, где Бэббидж фактически строит дерево поиска всех 9 ходов, описывая каждый ход относительно всех возможных альтернатив. Историки называют это одним из первых зафиксированных стохастических процессов и прототипом компьютерной игры.
Из анализа игр он формулирует новый класс задач, решаемых только алгоритмически (при неизвестных аналитических законах), и приходит к идее машины, способной исполнять произвольные последовательности инструкций, а не одну фиксированную операцию, как его ранняя Разностная машина.
От геометрии положения к механической нотации
Следующий шаг — перенос абстрактной «геометрии положения» в механику. Бэббидж создаёт Mechanical Notation — систему символов, описывающую состояние и взаимное положение деталей машины во времени (зубчатые колёса, валы и т.п.). Это по сути язык, где:
- каждой детали присвоен символ и индекс;
- на сетке фиксируются состояния деталей по дискретным моментам времени;
- можно анализировать и оптимизировать сложные механизмы без чертежей.
Бэббидж прямо связывает эту нотацию с возможностью проектировать вычислительные машины и называет её «универсальным языком» для описания механизмов. Это развитие идей Лейбница о всеобщем символическом языке и «анализе положения».
Аналитическая машина: карты, операции и «предвосхищающий перенос»
При проектировании Аналитической машины Бэббидж опирается на Jacquard‑ткацкий станок и вводит перфокарты:
- карты операций задают тип действия (сложение, умножение, возведение в квадрат и т.п.);
- карты переменных кодируют числа‑операнды.
Ада Лавлейс в комментариях к «Sketch of the Analytical Engine» подчёркивает, что карты превращают арифметику в манипуляцию символами произвольной природы и создают «новый, мощный язык» для описания процессов.
Ключевая техническая инновация Бэббиджа — anticipating carry («предвосхищающий перенос»): механизм, который одновременно распространяет перенос через цепочку девяток (например, при переходе 9 999 → 10 000), радикально ускоряя вычисления. Именно анализ ветвящихся, условных ситуаций в играх навыка (шахматы, крестики‑нолики) подготавливает его к таким решениям, связанным с предвидением будущих состояний.
Лавлейс: от пасьянса к программам
Лавлейс входит в проект через игры:
- в письме 1840 года она предлагает Бэббиджу формализовать пасьянс в виде символической формулы и подчёркивает необходимость «числовых и геометрических свойств» и «символического языка»;
- совместно с Бэббиджем она разбирает головоломки Эйлера;
- в 1843 году она публикует знаменитые «Notes», где демонстрирует программу для вычисления чисел Бернулли и размышляет о применениях символического счёта.
Для Лавлейс, как и для Бэббиджа, игры — удобная среда для осмысления связей «пространство–время–действие», которые затем переносятся в алгоритмы для машины.
Игры навыка, память и обучение
Бэббидж до конца жизни возвращается к играм навыка. Он планирует автомат, играющий в шахматы, а затем в крестики‑нолики, как демонстрацию возможностей механической нотации. В мемуарах он описывает алгоритм, где машина:
- проверяет корректность позиции;
- оценивает, проиграла ли уже;
- пытается найти выигрышный ход за один‑два шага вперёд.
Он напрямую связывает это с двумя возможностями Аналитической машины: памятью и предвидением. Восприятие шахматного автомата «Механический турок» также подталкивает его к идее, что игра может служить моделью для рассуждающих машин.
Исторический сдвиг: от «компьютеры → игры» к «игры → компьютеры»
Автор утверждает: история вычислительной техники — часть более широкой истории игр как моделирующих технологий. Игры (шахматы, пасьянс, кости, крестики‑нолики) были не просто развлечением, а готовыми структурированными системами с:
- чёткими правилами и конечными исходами;
- пошаговым временем и дискретным пространством;
- условной логикой и ветвлениями (в играх навыка).
Именно эти свойства сделали их идеальной средой для разработки алгоритмов, символических нотаций и архитектур будущих компьютеров. Позднейшие экономисты и теоретики (включая Маркса и неоклассиков) также используют образы игровых автоматов и шахмат для моделирования рациональности, предвидения и обучения.
Выводы
- Бэббидж выработал алгоритмическое мышление и «геометрию положения» через анализ конкретных игр — шахмат, пасьянса, игр случая и крестиков‑ноликов.
- Эти игровые модели легли в основу механической нотации, перфокарт и архитектуры Аналитической машины (store/mill, anticipating carry).
- Лавлейс пришла к программированию через попытки формализовать пасьянс и другие головоломки, а затем перенесла эти подходы в свои программы для машины.
- Игры навыка дали модель для понятий памяти, предвидения и обучения в автоматах, предвосхитив современные представления об ИИ.
- История вычислений неотделима от истории игр как моделирующих систем, что требует переосмысления границы между «аналоговыми» и «цифровыми» играми в game studies.
