Логическая машина представляет собой инструмент , содержащий набор частей , который использует энергию для выполнения формальных логических операций. Ранние логические машины были механическими устройствами, которые выполняли основные операции в булевой логике . Современные логические машины - это компьютерные электронные программы, которые помогают при доказательстве теорем математической логики. В 21 веке эти программы помощников по доказательству породили новую область исследований, называемую управлением математическими знаниями .
Происхождение
Самые ранние логические машины были механическими конструкциями, построенными в конце 19 века. Уильям Стэнли Джевонс изобрел первую логическую машину в 1869 году - логическое фортепиано. [1] В 1883 году Аллан Маркуанд изобрел новую логическую машину, которая выполняла те же операции, что и логическое пианино Джевонса, но с улучшениями в упрощении конструкции, портативности и элементах управления вводом-выводом. [2]
Смотрите также
Рекомендации
- ^ Bennett 2005 , стр. 162-3.
- Перейти ↑ Bennett 2005 , p. 163.
Библиография
- Беннетт, Дебора (2005). Logic Made Easy: как узнать, когда язык обманывает вас . WW Norton & Company. п. 163 . ISBN 0393326926.
Логическая машина Аллана Маркуанда.
- Маркванд, Аллан
- (1883), «Машина для производства силлогистической вариации» в К. С. Пирсе, изд. « Исследования в области логики» , стр. 12–15, вместе с «Замечанием о восьмичленной логической машине», стр. 16. Google Книги Eprint . Книга переиздана в 1983 году с предисловием Макса Фиша.
- (1886), «Новая логическая машина», Труды Американской академии искусств и наук 21 : 303–07. Google Книги Eprint .
- Пирс, CS
- (Письмо 1886 г.), Письмо Пирса А. Маркуанду, 30 декабря 1886 г., опубликовано в 1993 г. в Kloesel, C. et al., Eds., Writings of Charles S. Peirce: A Chronological Edition , Vol. 5. Indiana Univ. Press, стр. 421–3. Предварительный просмотр Google Книг .
- (1887), «Логические машины», Американский журнал психологии v. 1, n. 1, Балтимор: Н. Мюррей, стр. 165–70. Google Книги Eprint . Перепечатано в (1976) The New Elements of Mathematics v. III, pt. 1. С. 625–32; (1997) Modern Logic 7: 71–77, Project Euclid Eprint ; и (2000) Writings of Charles S. Peirce v. 6, pp. 65–73.
- Болдуин, Марк Джеймс (1902), «Логическая машина», Словарь философии и психологии , стр. 28–30, Google Books Eprint . Классика в истории психологии Eprint .
- Кетнер, Кеннет Лейн (1984), «Ранняя история компьютерного дизайна: логические машины Чарльза Сандерса Пирса и Маркуанда» при содействии Артура Франклина Стюарта, Princeton University Library Chronicle , v. 45, n. 3. С. 186–211. PULC 15MB PDF Eprint .
- Далаков, Георгий (без даты), «Чарльз Пирс и Аллан Маркуанд», История компьютеров и вычислительной техники . Епринт .