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

Публикации и документы в коллекции "Современные проблемы информатики"

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

Выдающийся популяризатор науки Мартин Гарднер (Martin Gardner, р. 1914) в первой и до сегодняшнего дня единственной обобщающей монографии, посвященной логическим машинам (“Logic Machines and Diagrams”, 1958 г.), определил их как механическое или электрическое устройство, созданное специально для решения задач из области формальной логики. Пожалуй, это определение и по сей день сохраняет свою справедливость. Дело в том, что последние попытки создания специализированных логических машин относятся как раз ко времени выхода в свет книги Гарднера. К этому же времени относятся и первые работы по программной реализации тех же задач с использованием универсальных электронных компьютеров. Эти работы обозначили окончание эпохи развития собственно логических машин.
Ссылка на адрес в репозитарии: История логических машин
Ссылка на репозиторий DSpace: История логических машин

Ключевые слова:  логическая машина;   демонстратор;   Логическая машина Маркванда;   логическая машина Луллия;   Логическое пианино Джевонса;   Машина Корсакова;

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

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

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