Описание:
Историю логических машин обычно возводят к концу XII в., но сам этот термин появился только во второй половине позапрошлого столетия. Вероятно, первым его применил Уильям Стенли Джевонс, а затем популяризировал Чарльз Сандерс Пирс.
Крупный американский философ и Марк Болдуин (James Mark Baldwin, 1861-1934) в своем “Словаре” (“Dictionary of philosophy and psychology”, 1901 г.) дал следующее определение: “Логическая машина – инструмент, созданный для выполнения механическим способом действий с логическими символами и диаграммами”. Выдающийся популяризатор науки Мартин Гарднер (Martin Gardner, р. 1914) в первой и до сегодняшнего дня единственной обобщающей монографии, посвященной логическим машинам (“Logic Machines and Diagrams”, 1958 г.), определил их как механическое или электрическое устройство, созданное специально для решения задач из области формальной логики. Пожалуй, это определение и по сей день сохраняет свою справедливость. Дело в том, что последние попытки создания специализированных логических машин относятся как раз ко времени выхода в свет книги Гарднера. К этому же времени относятся и первые работы по программной реализации тех же задач с использованием универсальных электронных . Эти работы обозначили окончание эпохи развития собственно логических машин.