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

[1500py470]

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

Оглавление

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



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

Comments

[1500py470.livejournal.com]

По сравнению с хирургией для чайников, синтез для домохозяек намного полезней. А вообще это вторая книга на русском на эту тему. Гомункулы это больше фантазии, а в книге в основном о реальных машинах.

[1500py470.livejournal.com]

Ка мне это для меня? Логические машины и/или хирургия для чайников с синтезом для домохозяек?

[sergey-se.livejournal.com]

Не подскажете, а какая первая книга на русском на эту тему?

[1500py470.livejournal.com]

Логические машины и их создатели. Краткая, но практически полная история.

Это скорее брошюра. Но кмк её можно и за книгу считать :)

[sergey-se.livejournal.com]

Спасибо

[vak]

Интересная книжка.
Заказал себе через setbook.us.

[1500py470.livejournal.com]

Могу попробовать с автографом автора передать. Собираюсь на этой неделе несколько штук купить.

[vak]

Было бы здорово. :)

[1500py470.livejournal.com]

Надеюсь Леонид с телефоном будет и зарядник в Москве найдется :) А у Панчула московский номер появился?