Новосибирский государственный университет Факультет информационных технологий

История развития вычислительной техники в лицах

Логическая машина Чарльза Стэнхоупа

Стэнхоуп работал над своими логическими машинами около 30 лет, создав несколько версий. Самыми удачными логическими устройствами, так называемые демонстранты оказались два круговой и прямоугольный демонстраторы, которые могут делать правильные выводы из логических утверждений..

Демонстратор Стэнхоупа представляет собой устройство в состоянии механически решать как традиционные силлогизмы и численные силлогизмы, так и элементарные проблемы теории вероятности. На фотографии изображен круговой демонстратор, созданный в конце XVIII века.

Квадратный демонстратор, как и круглый, можно применять для решения силлогизмов с числовыми квантификаторами (Стенхоуп снова указывает: “Добавь ho к los и отними holos”). Таким образом, демонстратор успешно решает силлогизмы и при использовании квантификаторов “более половины”, “менее половины”, “все”, “некоторые”, и при числовом квантифицировании терминов.

Ссылки на персон:

1. Стэнхоуп Чарльз

Ключевые термины:  логическая машина;

Контекстный поиск: Задайте образец для поиска:
    

Федотова Ольга Анатольевна

НГУ ФИТ НГУ ИВТ СО РАН