логическая машина

логическая машина
- механическое, электромеханическое или электронно-вычислительное устройство, предназначенное для полуавтоматического или автоматического решения широкого круга математических и логических задач, для управления технологическими и производственными процессами, для оптимальных экономических расчетов, для обработки массивов информации, которые мозг человека не в состоянии охватить, для моделирования форм человеческого мышления.
Попытки создать механические устройства для осуществления арифметических операций уходят в далекую древность. Первую логическую машину построил Раймунд Луллий (1235-1315). Его машина состояла из семи вращающихся вокруг одного центра кругов. На каждом из них были написаны слова, выражающие различные понятия, напр. "человек", "знание", "количество" и т. п., и логические операции, напр. "равенство", "противоречие" и т. п. Вращая круги, можно было получать разнообразные сочетания понятий. С помощью своей машины Луллий получал из заданных посылок силлогистические выводы. В первой половине XVII в. французский математик Б. Паскаль (1623-1662) сконструировал машину для выполнения арифметических операций. Идея машинизации процессов умозаключения была теоретически развита немецким философом и ученым Г. Лейбницем (1646-1716) в работе "Об искусстве комбинаторики". Первой подлинно Л. м. считается "демонстратор" Ч. Стенхопа (1753-1816), с помощью которого проверялись не только традиционные, но и т. наз. "числовые" силлогизмы. "Демонстратор" решал элементарные задачи традиционной логики.
Научные основы для создания современных Л. м. были заложены благодаря развитию математической логики и кибернетики, атехническая возможность их создания была обеспечена прогрессом в области электроники и автоматики. В 1944 г. в США была построена автоматическая вычислительная машина "Марк-1", имевшая электромагнитное реле и перфоленту, на которой записывались числа и указывались операции с ними. В 1945 г. Дж. фон Нейман предложил помещать закодированную программу вычислений в запоминающее устройство машины, что значительно расширило диапазон ее возможностей. С середины 50-х годов начали создаваться информационно-логические машины, способные хранить значительные записи информации, выбирать из них необходимые данные и производить не только математическую обработку информации, но и логические операции. Л. м. последующих поколений способны осуществлять миллиарды операций в секунду, различать простые рисунки, самообучаться, понимать простые фразы на естественном языке и решать самые разнообразные задачи во многих областях науки, техники, управления и т. д.
Принципиальная схема Л. м. включает следующие основные компоненты: 1. Входное устройство, преобразующее внешнюю информацию в последовательность электрических импульсов. 2. Выходное устройство, преобразующее электрические сигналы в последовательность воспринимаемых человеком знаков. 3. Запоминающее устройство, хранящее информацию и часто называемое просто "памятью" машины. Различают оперативную память, емкость которой сравнительно невелика, но отличается быстродействием, и долговременную, внешнюю память, с большим объемом, но меньшим быстродействием. 4. Арифметическое устройство, осуществляющее математические и логические действия. 5. Блок управления, обеспечивающий автоматическое выполнение программы, введенной в машину.
Все более широкое использование Л. м. позволяет человеку решать все более сложные задачи, освобождает его от рутинных мыслительных операций и делает человеческий труд все более творческим.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.