Новосибирский государственный университетФакультет информационных технологийСовременные проблемы информатики и вычислительной техники |
А.М.Федотов |
Логическое пианино — механический компьютер с клавиатурой, который позволял строить логические тесты и показывал как заключения вытекают их предпосылок. По сравнению с устройством Раймунда Луллия машина Джевонса имеет явное преимущество: в ней действительно (пусть частично) механизирован процесс логического вывода.
Существенным недостатком машины была ограниченная мощность – она предназначалась для вывода заключений из посылок, содержащих не более четырех терминов. Впрочем, сам Джевонс полагал, что в обычной жизни человеку вряд ли приходится решать логические задачи, подобные приведенной. Поэтому он считал свою машину всего лишь учебным пособием, помогающим лучше понять механизм логического вывода. Но все-таки машина Джевонса стала первым и достаточно удачным вариантом механизации процесса логического вывода, и, более того, указала цель, к которой можно стремиться - моделирование человеческого мышления.
Пианино хранится в Museum of the History of Science, Oxford.
Дополнительная:
Ключевые термины (головные): логическая машина;
Федотов Анатолий Михайлович |
НГУ ФИТ НГУ ИВТ СО РАН |