Max Home IndustryДополнительное свидетельство того, что аналитическая машина Чарльза Бэббиджа была викторианским предшественником современного компьютера, содержится в последнем отчете о ходе реализации Плана 28, амбициозного проекта по созданию рабочей версии аналитической машины, впервые описанной в 1837 году, к 2030-м годам.
Прошло уже более десяти лет с тех пор, как Джон Грэм-Камминг запустил проект по созданию полнофункциональной реализации оригинального дизайна Чарльза Бэббиджа для его аналитической машины. Название проекта «План 28» является ссылкой на тот факт, что обширная документация состояла из 28 последовательных системных чертежей для аналитической машины, хранящихся в ящике из красного дерева, который Бэббидж построил специально для этой цели. Это вместе с записными книжками Бэббиджа и другими бумагами было подарено его сыном Генри Прево Бэббиджем (1824–1918) Лондонскому музею науки. Именно Генри к 1910 году удалось построить заводскую часть аналитической машины, и график реализации Плана 28 предусматривает, что полная и функциональная аналитическая машина будет выставлена на всеобщее обозрение к 2030-м годам.
Частичная сборка аналитической машины 1910 года Генри Бэббиджа
Дорон Суэйд, который, будучи куратором вычислительной техники в Музее науки, руководил проектом по созданию рабочей копии разностной машины Бэббиджа, является техническим директором Plan 28, а создание аналитической машины находится под надзором Общества сохранения компьютеров.
В своем последнем отчете Обществу сохранения компьютеров Свод сообщает:
Главный первоначальный вывод состоит в том, что конструкции менее разобщены, чем предполагалось, и в изобретательской траектории больше непрерывности, чем мы опасались, или на то, что показали современные исследования. В качестве примера более конкретного открытия: только в Plan 27 появилось первое свидетельство условной операции на уровне пользователя. В то время как аналитическая машина обычно изображается как включающая с самого начала определяющие особенности условных операций современного компьютера, эта функция появляется довольно поздно и почти не упоминается снова. Насколько важна для Бэббиджа условная операция как определяющая черта, теперь является заманчивым открытым вопросом.
Современная вычислительная машина должна иметь какой-то способ повторения операции и какой-то способ сделать выбор — это примитивные элементы, которые приводят к тому, что мы формально называем полнотой Тьюринга. Вычислительное устройство, завершенное по Тьюрингу, в принципе может вычислить все, что можно вычислить. Из этих недавних открытий ясно, что аналитическая машина была завершена по Тьюрингу, по крайней мере, на поздней стадии разработки. Вопрос в том, понимал ли Бэббидж, насколько важна условная операция? Ада Лавлейс, которую обычно считают первым программистом, вероятно, понимала это. Что могло бы случиться, если бы не ее ранняя кончина?
Поскольку это был Бэббидж, которого всегда соблазняло новое, он так и не закончил сборку первого компьютера более чем за сто лет до того, как это произошло на самом деле.
Как сообщается в Inspired By Babbage, показанный выше фрагмент аналитической машины, построенной Генри Бэббиджем, был частью художественной выставки, заказанной для Манчестерского международного фестиваля в 2019 году. Мы можем только надеяться, что в течение следующих двух десятилетий документация, оставленная его отцом, приведет к созданию работающего компьютера, через 200 лет после его первоначального зачатия.
Майк Джеймс — автор «Руководства программиста по теории», цель которого — представить фундаментальные идеи информатики, включая полноту Тьюринга, в неформальной, но информативной форме.