1500py470 (1500py470) wrote,
1500py470
1500py470

История логических машин

DSC00524Shilov


Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления --- искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина Гарднера "Логические машины и диаграммы" (1958 г.) объектом изучения стали логические машины --- основанные на законах формальной логики устройства, история которых восходит к концу XIII века и которые предназначались для имитации процесса логического вывода. Эта книга давно и по праву считается классической, однако за прошедшее с момента ее появления время был накоплен значительный объем новых сведений об описанных американским ученым логических машинах. Более того, вне поля зрения Гарднера по разным причинам остались несколько логических машин, в том числе изобретенных в России.
В предлагаемой вниманию читателей книге интереснейший феномен в истории логики и вычислительной техники --- логические машины --- впервые в мировой научной литературе рассматривается со всей возможной полнотой. Автор подробно рассказывает об истории создания всех известных логических машин, на многочисленных примерах объясняет принципы их устройства и функционирования, приводит и обсуждает их подчас крайне противоречивые оценки современниками и потомками, а также повествует о ярких и драматических судьбах их создателей.

Оглавление

Предисловие
Глава 1. К определению понятия
Глава 2. Великое искусство Раймунда Луллия
Глава 3. Рецепция идей Луллия и их критика
Глава 4. "Логическая машина" Джонатана Свифта
Глава 5. Демонстраторы Чарльза Стенхоупа, Третьего графа Стенхоупа
"Философия" логики Стенхоупа
Круглый демонстратор
Квадратный демонстратор
Судьба демонстраторов
Глава 6. Интеллектуальные машины Семена Николаевича Корсакова
Прямолинейный гомеоскоп с неподвижными частями
Прямолинейный гомеоскоп с подвижными частями
Плоский гомеоскоп
Идеоскоп
Простой компаратор
Глава 7. "Логическая машина" Уильяма Гамильтона
Глава 8. Логические машины Альфреда Сми
Машина отношений
Машина различий
Доска отношений
Глава 9. Логические машины Уильяма Стенли Джевонса
Глава 10. Логические машины Аллана Маркванда
Глава 11. Силлогистические карты и машины Генри Канингема
Глава 12. Машина логических диаграмм Джона Венна
Глава 13. Логические машины в России
Глава 14. Патент Чарльза Маколея
Глава 15. Машина суждений Аннибале Пасторе
Глава 16. Электрическая логическая машина Бенджамина Бурака
Глава 17. Конец эпохи
Приложение 1. Музей или свалка?
Приложение 2. Воруют!
Указатель имен
Литература



20 сентября на заседании виртуального компьютерного музея была представлена книга о М.А. Карцеве и интересная книга о необычных для нашего времени логических машинах.

DSC00523ВКМ
Tags: hardware history
Subscribe
  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 9 comments