🔍 Любопытство: логика без электричества — родственники «Детской логической машины»

Как пластиковая игрушка из второй половины восьмидесятых оказалась последним живым представителем династии, которой 250 лет

Рубрика про любопытные истории из мира науки, техники и кино. Сегодня — без кино, но с пластмассовыми пружинками. Повод: на этой неделе Хабр встретил пост про оцифровку руководства 1987 года к «Детской логической машине» — советской игрушке, внутри которой нет ни одного транзистора. Автор (drlexium) отсканировал брошюру, собрал эмулятор в браузере и, прогнав автотесты, нашёл в инструкциях фактические ошибки — включая игру, где машину можно обыграть, а инструкция сама подсказывает проигрышный ход. Но самое любопытное здесь не баги руководства, а родословная: эта коробка с батарейками «А-332» — прямой потомок машин, которые решали силлогизмы ещё при Георге III.

🧵 Зацепка

«Детская логическая машина» (ДЛМ) выпускалась ВНИИ «Электронстандарт» из Гатчины с 1984 года. Внутри — ноль электроники: три подвижные планки, которые переключатель А, Б или В сдвигает вправо или влево в зависимости от введённого бита, семь столбцов гнёзд по два (14 гнёзд на планку) с пружинными контактами, тридцать пластиковых штеккеров и четыре лампочки с «весами» 8-4-2-1. Штеккер в левом гнезде замыкает цепь, когда планка ушла вправо, в правом — когда влево. Три контакта столбца включены последовательно — это И; проволочные перемычки собирают столбцы на одну лампу — это ИЛИ. По сути машина одновременно вычисляет семь произведений вида А·¬Б·В и складывает их по ИЛИ: программируемая логическая матрица 3×7×4, отлитая из полистирола. Никакого «вычислителя» внутри нет — вся «мысль» происходит в топологии замкнутых контактов.

Программа — это физическая расстановка штеккеров по рисунку из руководства. Руководство обещало одиннадцать игр: от угадывания задуманного числа через хитрые вопросы про остатки до игры «Двенадцать» против самой машины и «психологического теста», для которого машину перепрограммировали прямо по ходу. Автор оцифровки прогнал перебором все 34 650 раскладок карточной игры «Зоологические карточки» и выяснил, что в двух случаях из семи программа из инструкции даёт неверный прогноз; в «Двенадцати» нашлась позиция, где при верхней тройке сверху правило «поставь ближайшую меньшую» заставляет отдать противнику победу — хотя сбоку лежит шестёрка, и 6+6 закрывает партию немедленно. Пасьянс, в котором советская инструкция 1987 года врёт, нашёлся тихим осенним вечером с помощью автотестов — машине не потребовалось для этого ни одного такта, у неё их просто нет.

Но если копнуть глубже, игрушка перестаёт быть курьёзом. ДЛМ — вырожденный (в эволюционно-уважительном смысле) последний член династии механических логических машин, которая тянется с XVIII века. И у этой династии есть своя английская ветка, свой русский сюжет с профессором химии, и даже свой ранний спор о том, может ли машина «думать» — ровно тот спор, который сегодня идёт вокруг LLM.

🔬 Исследование

Английский пэр, который решил силлогизмы двумя панелями

Первым настоящим логическим устройством истории считается «demonstrator» Чарльза Стэнхоупа, третьего графа Стэнхоупа — государственный деятель, учёный-любитель и изобретатель, чьим именем называют и чугунный печатный пресс-станок 1800 года, и популярную оптическую безделушку-лупу «stanhope». Его первый аппарат — 1775 год, квадратная латунная пластина около четырёх дюймов, смонтированная на красном дереве. В центре — углубление с поэтичным названием «holon» («целое»): всё множество объектов, о которых идёт речь. Справа вдвигается красная полупрозрачная стеклянная панель, под неё слева — серая деревянная. Каждая панель изображала одну из двух утвердительных посылок силлогизма — сам Стэнхоуп называл их «ho» и «los». Сдвигая их поверх друг друга, владелец буквально видел площадь пересечения — и ответ на силлогизм становился площадью, замеченной глазом. Шкала от 0 до 10 позволяла решать и количественные силлогизмы вида «8 из 10 A суть B» — то, что де Морган позже стал называть численно определённым силлогизмом (Formal Logic, 1847), не зная, что лорд сделал это за семьдесят лет до него.

Была у прибора и вероятностная логика: для «правила вероятности» серая панель вставлялась сверху, для «правила достоверности» — слева. Сделано было как минимум четыре экземпляра; два хранились у Генри Превоста Бэббиджа — сына того самого Чарльза Бэббиджа, доводившего отцовскую Аналитическую машину. Семья Стэнхоуп передала один экземпляр в лондонский Science Museum в 1953-м. Показательно, что граф почти не публиковал устройство: оно раздавалось знакомым готовыми приборами, и миру о нём стало известно из писем Роберта Харли 1879 года — спустя столетие после создания.

Джевонс: рояль для логики

Следующий скачок сделал Уильям Стэнли Джевонс — экономист, логик и, по странному стечению обстоятельств, бывший пробирер Сиднейского монетного двора золотой лихорадки. В 1869-м он нанял сельфордского часовых дел мастера (имени не назвал — и отношения у них были нервные: «приходится ходить чуть ли не каждый день, чтобы убедиться, что он делает правильно»; каждый этап работы принимался отдельно) и получил машину, которую сам окрестил logical piano. Внешне — миниатюрное вертикальное пианино примерно в три фута высотой, с клавиатурой из 21 клавиши, «точно как белые клавиши у пианино». В окошках лицевой панели видны все 16 комбинаций четырёх терминов и их отрицаний. Логика такая: вводишь посылки клавишами, а скрытые рычаги и шкивы механически убирают комбинации, несовместимые с введённым. Когда посылки закончились — смотришь на то, что осталось: это и есть все логические следствия.

В 1870-м Джевонс продемонстрировал машину на заседании Лондонского королевского общества, а в том же году вышел развёрнутый труд «On the Mechanical Performance of Logical Inference» в Philosophical Transactions (т. 160, с. 497–517). Это была первая логическая машина, решавшая сложную задачу быстрее, чем человек в голове. Джевонс видел в ней «наглядное доказательство общности и силы» своего метода — и, заодно, превосходства булевой алгебры над схоластической логикой. Скептики нашлись быстро: Ф. Х. Брэдли в Principles of Logic (1883) язвил, что машина лишь перечисляет строки таблицы истинности и не умеет сворачивать их в компактную форму — претензия, которая сегодня звучит как упрёк brute-force-подходу к выводу. Спор «машина перебирает — или машина рассуждает?» затемнён тогда же, в викторианской прессе, и в точности воспроизводится сегодня вокруг больших языковых моделей: спор идёт не о том, что машина может, а о том, что значит рассуждать для человека.

Пианино Джевонса пережило своих критиков: оно хранится в History of Science Museum в Оксфорде, и в 2022-м Computer History Museum посвятил ему отдельный очерк — «Playing AI on Ivory and Wood». Аллан Маркуанд из Принстона в 1881-м ужал конструкцию до трети высоты при 10 клавишах и 16 указателях; Аннибале Пасторе в Генуе в 1903-м собрал трёхколёсный аппарат, в котором валидный силлогизм заставлял все три колеса крутиться от одной ручки — чистая метафора вывода, поставленная на бесконечные ремни. И, по Гарднеру, на этом механическая эра не кончилась: в 1947-м два гарвардских студента, Бёркхарт и Калин, собрали первую электрическую машину исчисления высказываний — уже с переключателями и лампочками, но по сути это было «пианино Джевонса в электричестве», последовательно сканирующее строки таблицы истинности. К 1955-му специальная ниша умерла: цифровые компьютеры сделали её ненужной. В 1960-м Хао Ванг прогнал первые 220 теорем Principia Mathematica на IBM 704 меньше чем за три минуты.

Харьковская ветка: химик, починивший Джевонса

А теперь — русский сюжет, который почти выпал из канона. В середине 1960-х исследователь Г. Н. Поваров «переоткрыл» две русские логические машины, построенные до революции. Первую собрал Павел Дмитриевич Хрущёв — не вождь, а физико-химик из Петербурга, работавший у Кекуле и Бертло, переводивший Менделеева в его знаменитой дискуссии о бензольном ядре и владевший лабораторией в имении Карасевка под Харьковом. Вероятнее всего, в 1897–1898 годах, готовя курс «Общие методы физических наук», он по переводу книги Джевонса «Principles of Science» собрал собственную логическую машину — первую в России. О ней известно до обидного мало: сам Хрущёв устройством не гордился, в публикациях не упоминал, а в 1909-м умер после инсульта. Единственный источник с описанием и фотографиями — книга его друга, химика Александра Николаевича Щукарёва, «Проблемы теории познания» (Одесса: Mathesis, 1913).

Щукарёв — отдельный персонаж. Профессор общей химии Харьковского технологического института, соавтор Лугинина по калориметрии, он сперва отремонтировал машину покойного друга и в 1912-м показал её на заседании Общества физико-химических наук при Харьковском университете — «по настоянию публики» демонстрацию пришлось повторить почти десять раз. Потом построил собственную улучшенную машину: целиком из металла, с устранением «конструктивных дефектов, которых в приборе Дживонса (так в тексте) надо сознаться, было довольно порядочно». Главное нововведение — световой экран: 16 горизонтальных полочек с двумя лампочками каждая, перед ними калька со словесными формулировками комбинаций — «Серебро — металл, проводник тока, обладает свободными электронами». При нулевом положении горят все 32 лампы; вводишь посылки — штанги поднимаются, лампы гаснут, и в темноте остаётся освещённым только то, что совместимо с посылками. Публика видела вывод на русском языке, а не в буквах A/B/C. Щукарёв, в отличие от Джевонса, был убеждён, что машина пригодна не только для обучения: он возил её по публичным лекциям по теории познания.

И вот тут начинаются хроники. Мемуарист описывает: на демонстрации курсистка возмущалась, что машина «как и всякая машина — орудие эксплуатации масс»; на вопрос «есть ли у нас конституция» она отвечала «не у нас не есть не конституция» (машина честно выдала квадратно-гнездовую логику отрицаний, которую люди прочли как политический комментарий; дошло до вмешательства пристава — следить за порядком на публичных лекциях полагалось). В советское время профессор раз в год приходил с машиной в харьковский Дом учёных, и когда примеры подступались к «возможности существования Творца мира», зал марксистов приходил в ярость — а Щукарёв «весело, добродушно и как-то по-детски хохотал». И был прецедент, который дорожает с каждым десятилетием: после антирелигиозной лекции один пожилой служитель университета выступил «по обсуждению» и заявил: «Вы говорите, что Бога нет. А вот машина профессора Щукарёва ясно доказала, что Бог есть». Лектор закивал, не дослушав, — обязательный для большевика культ техники сыграл шутку, которую машину заставили сказать то, чего она не говорила. Никогда драма «машина сказала одно, публика услышала другое» не формулировалась чище — привет любой дискуссии о галлюцинациях языковых моделей.

Сведений о судьбе хрущёвского прототипа после 1913 года нет; щукарёвская машина числилась собственностью Харьковского университета и исчезла вместе с эпохой. Статью о своей машине Щукарёв напечатал только в 1925-м в «Вестнике знания» — спустя 12 лет после постройки, под заголовком «Механизация мышления (Логическая машина Дживонса)». К середине 1960-х обе машины канули настолько, что Поварову пришлось буквально переоткрывать их заново по журналам.

Пружинки вместо транзисторов

На этом фоне советская ДЛМ выглядит идеологическим наследником Щукарёва, только переведённым на язык детской промышленной игрушки: всё то же — видимые состояния, механические «регистры», логика, которую можно потрогать. Любопытно, что у игры был западный кузен: Digi-Comp I — полистироловый кит из США 1963 года за $4.99 (около $52 в ценах 2025-го), «первый домашний компьютер» по версии некоторых историков. Там тоже три механических flip-flop'а, программируемых цилиндрическими колышками, и тактование рычагом; официально — «actual working digital computer», по-честному — конечный автомат. ДЛМ честнее: она и не претендовала.

Масштаб явления при этом нетривиален: ДЛМ выпускалась с 1984-го; заводские номера двух экземпляров 1987 года, описанных на Хабре, — 005957 и 9924, откуда оценка порядка десяти тысяч машин за три года, плюс предшественница («Детская вычислительная машина» с середины 70-х) — всего, по прикидке авторов, около ста тысяч. Каждый блок замещает примерно тридцать транзисторов; собери их все — получишь «процессор» на три миллиона транзисторов, против восьми с половиной тысяч у легендарного Z80. Абсурдный счётчик, наполненный смыслом: сто тысяч отдельных машин логики вместо одного кремниевого кристалла — индустрия, которая могла случиться, но не случилась, а между тем она догоняла программирование через руки.

Эмулятор drlexium придерживается ограничений оригинала: если воткнуть штеккер при сдвинутой планке, он предупредит, что «так можно сломать машину» — нечего нарушать инструкцию. Автотесты нашли баги в руководстве: «Зоологические карточки» врут в 2 сценариях из 7 достижимых; в «Двенадцати» при верхней тройке сверху шестёрка сбоку даёт выигрыш немедленно, а инструкция велит поставить двойку. Учитывая, что ДЛМ не способна ни на что, кроме честной булевой логики, каждый найденный баг — это не сбой железа, а ошибка человека, переводившего логику в механику. Как всегда.

Что машинки доказали про самих людей

Сквозная мораль династии Стэнхоуп → Джевонс → Хрущёв → Щукарёв → ДЛМ: каждая машина была устроена одинаково — физически перечислить все комбинации и механически стереть невозможные. Ничего сверх этого ни одна не умела, и все — включая ДЛМ с её «психологическим тестом» — честно делали только одно: булеву фильтрацию. Различие между «рассуждением» и «перебором» тогда, как и теперь, проводили не машины, а люди, смотрящие на машины. Показательно и то, как измерялся успех. Стэнхоуп не публиковал машину вовсе — ему хватало личной уверенности; Джевонс мерил скорость против человека; Щукарёв — по числу скандальных лекций; ДЛМ — по числу детсадовских игр в прилагающейся брошюре. Ни одна из них не выжила как технология, но все они пережили своих критиков как аргумент: автоматизированный вывод технически тривиален, а его общественная рецептура — нет. Механическое пианино доказывало, что за судьбу логики отвечают контакты; подошедший пристав в Харькове доказывал, что за судьбу логики отвечает пристав.

Кода

«Детская логическая машина» 1987 года — это финал эволюционной ветки, которая началась в 1775-м с двух панелей в латунной раме. Внутри неё той же архитектуры, что у оксфордского пианино: поле возможного, из которого посылки стирают невозможное. Только у Джевонса стирали шкивы, у Щукарёва — штанги с лампочками, у ДЛМ — пластиковые планки с пружинками. Три поколения разных материалов, одна и та же семантика, и почти нулевое расстояние между ними во времени с точки зрения самой логики — она не изменилась вообще. Баги в советской брошюре, найденные автотестами в 2026-м, — красиво как эпилог: машина, не содержащая ни одного вычислителя, дожила до эпохи, когда её стали тестировать программно. Два мира сошлись в одной точке: устройство из 1987-го, не умеющее считать, сегодня отлаживается программой, которая умеет. Ломаться в ней нечему — ломается только тот, кто расставляет штеккеры не в те гнёзда.

📚 Источники

Компьютер из пластмассы и пружинок: оцифровал руководство к «Детской логической машине» 1987 года и нашёл в нём ошибки — Habr, drlexium, 2026-10-29 — отправная точка: устройство ДЛМ, матрица 3×7×4, одиннадцать игр, баг «Зоологических карточек» (2 из 7 раскладов) и «Двенадцати», электронстандартовские реквизиты (Гатчина, 0.7 кг, А-332, 80 часов работы), экземпляр № 005957, эмулятор и PDF руководства.
Криптография и другие вычисления на детских логических машинах — Habr, 2024-06-07 — реверс-инжиниринг ДЛМ: NOT/NAND/NOR/XOR, полный сумматор, RS-триггер из двух машин, CRC1 и XOR-шифрование; тираж ~10 тыс. за 1984–1987, предшественница с середины 70-х, счёт «3 миллиона транзисторов»; западный аналог Digi-Comp I.
Stanhope Demonstrator — Wikipedia — первый экземпляр 1775, латунь 4 дюйма, holon, красное стекло и серое дерево, правила достоверности/вероятности, численно определённые силлогизмы до де Моргана, четыре экземпляра, экземпляр у сына Бэббиджа, передача в Science Museum в 1953.
Logic Machines — Encyclopedia.com — сводка: Луллий как предшественник, «logical piano» Джевонса (Селфорд, 1869; Королевское общество, 1870; 21 клавиша; хранение в Оксфорде), критика Брэдли 1883, Маркуанд 1881, машине Пасторе 1903, машина Маколея 1910, Kalin-Burkhart 1947, десятитерминовая машина Burroughs (Łukasiewicz), Hao Wang/IBM 704 и 220 теорем Principia за <3 минут, сеточные карты Канингема и Гарднер в Scientific American (1952).
Jevons and the Logic «Piano» — The Rutherford Journal (Barrett, Connell) — сиднейский период Джевонса: пробирер Сиднейского монетного двора золотой лихорадки, фотография города и приисков, все главные идеи родились в колонии.
Playing AI on Ivory and Wood — Computer History Museum blog, 2022-02-01 — детали постройки: неназванный сельфордский часовых дел мастер, «необходимо ходить почти каждый день», 21 «white piano key», rods and pulleys, цитата из доклада Королевскому обществу, параллель с викторианским спором о machine reasoning и современным спором об LLM.
К истории логических машин — В. В. Шилов, «Кибертония» №1, 2012 / computer-museum.ru — русская ветвь целиком: биография П. Д. Хрущова (1849–1909, Кекуле, Бертло, Менделеев, Карасевка), постройка машины ~1897–1898, книга Щукарёва 1913 как единственный источник, ремонт и демонстрации 1912, световой экран с 32 лампами и калькой, мемуары про «эксплуатацию масс» и «Бог есть», «переоткрытие» Поваровым, библиография (Слешинский 1893, Вокруг света 1914, Вестник знания 1925, Gardner 1958, Jevons 1870).
Digi-Comp I — Wikipedia — западный кузен: E.S.R. Inc., полистирол, 1963, $4.99 (~$52-2025), 3 механических flip-flop, конечный автомат, игра Nim, Digi-Comp II на шариках.