четверг, 22 марта 2012 г.

Логические машины коллежского советника Корсакова



С.Н. Корсаков (1787-1853)

Говорит ли вам что-либо имя Семёна Николаевича Корсакова, чиновника Императорского МВД? Признаюсь, я сам никогда не слышал о Корсакове, пока не заинтересовался историей вычислительной техники.

Семён Николаевич изобрел целых пять видов вычислительных машин:
  • Гомеоскоп прямолинейный с неподвижными частями;
  • Гомеоскоп прямолинейный с подвижными частями;
  • Плоский гомеоскоп;
  • Идеоскоп;
  • Простой компаратор.

Схема одного из гомеоскопов Корсакова

Несмотря на это, изобретения и само имя коллежского советника С. Н. Корсакова было забыто более чем на 100 лет. Рецензия комиссии на прошение, представленное изобретателем в Императорскую Академию Наук, была следующей: «Г-н Корсаков потратил слишком много разума на то, чтобы научить других обходиться без разума». 

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

Впрочем, до самого конца XIX идеи Семёна Николаевича вряд ли могли найти применение даже в самых передовых странах: сутью изобретения коллежского советника является технология автоматизированного поиска данных. Значимость этой задачи была всерьез осознана только в связи с развитием статистики, и в первой половине XIX века до этого было еще далеко.  

Но какие же возможности предоставляли пять машин изобретателя? Предоставим слово самому Корсакову:
1. Прямолинейный гомеоскоп с неподвижными частями
Мгновенно находит среди большого числа идей, отображённых в таблице, ту, которая содержит все детали другой заданной идеи. Устройство выдаёт результат, останавливаясь в процессе своей работы. Его применение в сфере медицины принесёт огромную пользу, поскольку в случае болезни, исходя из подробного перечисления всех симптомов, оно может отобразить, с самой высокой степенью точности, наиболее подходящее лекарство для сего случая, и при этом по желаемой медицинской методике. Число деталей, которые учитывает устройство, может достигать многих сотен.
Впечатляет. Найти идею по нескольким сотням критериев не так-то просто даже в наши  дни при помощи Google :)  Движемся дальше:
2. Прямолинейный гомеоскоп с подвижными частями может указывать то же самое, что и предыдущее устройство, и в дополнение к этому он мгновенно исчисляет и отделяет из заданной идеи все те детали, которые соответствуют (или не соответствуют) аналогичным деталям других идей в таблице, по мере того, как они входят в соприкосновение.

Иными словами, это более совершенный вариант машины №1.
3. Плоский гомеоскоп таким же образом мгновенно указывает соответствия, имеющиеся у сравниваемых между собой идей, число деталей которых может достигать десяти тысяч и даже больше. Число этих деталей можно довести до одного миллиона, используя градуированные стержни. 
Теперь становится понятно, почему академическая комиссия  «зарезала» проект Корсакова. Ставить задачу эффективной обработки значительных объемов данных, и тем более заявлять о возможности ее практического решения в первой половине XIX века было дерзостью не меньшей, чем заявление о возможности непротиворечивой геометрии, в которой не имеет места пятый постулат Евклида.

Последние две машины Корсакова также весьма интересны и функциональны:

4. Идеоскоп мгновенно выдаёт, исходя из специальной таблицы и заранее определённого предмета, следующие результаты:
1) все соответствия, которые есть у сравниваемых идей при их соприкосновении;
2) всё то, что находится в заданной идее, но отсутствует в той идее, с которой её сравнивают, в сей момент;
3) всё то, что отсутствует в заданной идее, но есть в той идее, с которой её сравнивают;
4) всё то, чего нет ни у одной, ни у другой идеи, но есть у других идей из той же таблицы.
Помимо этого мгновенного и всестороннего анализа большого числа идей, представленных в таблице в материальном виде, идеоскоп также способен определить непосредственно в момент сравнения степень относительной важности каждой из деталей; число сравниваемых идей во время проведения одной операции может легко достигать многих сотен, и каждая из этих идей может свободно содержать сто и более деталей. При этом устройство будет способно выдать в течение нескольких минут точный и полный результат всех этих столь разнообразных и сложных сравнений.
Если же потребуется, чтобы идеоскоп сам остановился именно на идее из таблицы, содержащей всю совокупность сравниваемых идей, или чтобы о подобном сходстве давал бы знать звон колокольчика, можно очень легко достичь подобных результатов с помощью крайне простого механизма, добавляемого к устройству. Идеоскоп, так же как и гомеоскопы (1 и 2), может быть легко сконструирован для работы с цилиндрическими таблицами, такими же, как те, что находят применение в органах и шарманках.
5. Простой компаратор - это устройство выдаёт те же четыре результата, что и идеоскоп, но оно способно работать только с двумя идеями, которые сравниваются между собой. Оно может содержать только несколько десятков деталей, но преимущество его состоит в том, что оно не имеет нужды в заранее заготовленной таблице.
Для своих логических машин Сёмен Николаевич использовал перфокарты. Идея их применения для кодирования и обработки данных для того времени была гениальной.

Но практический успех в этом направлении был достигнут только в 1890 г. в С.-А.С.Ш., когда имя Корсакова было уже крепко забыто. Американский же изобретатель стал одним из основателей старейшей из известных в мире IT компаний (угадайте ее название).

Но это уже совсем другая история, к которой изобретатели из российских ведомств имеют весьма косвенное и специфическое отношение, о котором не принято говорить в приличном IT-сообществе. Не подобает о таких вещах говорить и в моем техническом блоге.

P.S. Прекрасный сайт, на котором можно найти подробную информацию о С.Н. Корсакове и его интеллектуальных машинах, находится здесь. Авторское описание машин взято из книги Корсаков С.Н. Начертание нового способа исследования при помощи машин, сравнивающих идеи / Пер. с франц. под ред. А.С. Михайлова. – М.: МИФИ, 2009, PDF-версия которой размещена на указанном сайте. Иллюстрации взяты из статьи о Корсакове, размещенной в русской Википедии.

UPD. 23.03.2012:  Как выяснилось, о Корсакове краткая заметка есть и на Хабрахабре.

Комментариев нет:

Отправить комментарий