Логические счеты - Logical abacus

А логические счеты механический цифровой компьютер.

Логическое фортепиано Джевонса в Сиднейский музей электростанции в 2006 г.

Также называемые «логической машиной», логические счеты аналогичны обычным (математическим) счеты. В его основе лежит принцип таблицы истинности.

Он построен так, чтобы показать все возможные комбинации набора логических терминов с их отрицаниями и, кроме того, то, каким образом на эти комбинации влияет добавление атрибутов или других ограничивающих слов, т. Е. Для механического упрощения решения логической проблемы. Все эти инструменты представляют собой более или менее сложные разработки «логической доски», на которой вертикальными столбцами были записаны все комбинации символов или букв, которые можно было бы логически составить из определенного числа терминов. Их сравнивали с любыми заданными предпосылками, а несовместимые вычеркивали. На счетах каждая комбинация начертана на листе дерева или подобного материала, который перемещается с помощью ключа; Таким образом, несовместимые комбинации могут быть механически удалены по желанию в соответствии с любой данной серией помещений.

Основные примеры таких машин: Уильям Стэнли Джевонс (логическое фортепиано), Джон Венн,[1] и Аллан Маркуанд.

использованная литература

  1. ^ Джон Венн (1894). Символическая логика (2-е изд.). Лондон: Макмиллан. Здесь: стр.135f,


В эту статью включен текст из публикации, которая сейчас находится в всеобщее достояниеЧисхолм, Хью, изд. (1911). "Счеты ". Британская энциклопедия. 1 (11-е изд.). Издательство Кембриджского университета. С. 5–6.