Игра в имитацию. О шифрах, кодах и искусственном интеллекте. Алан Тьюринг

Лавлейс (Notes by the Translator).

      15

      Hartree D.R. Calculating Instruments and Machines. New York, 1949.

      16

      Дифференциальный анализатор – вычислительная машина, разработанная В. Бушем (Vannevar Bush) и его сотрудниками в Массачусетском технологическом институте в Кембридже (США) в конце 20-х годов и предназначенная для решения широкого класса обыкновенных дифференциальных уравнений. Дифференциальный анализатор – машина непрерывного действия; при решении задач мгновенные значения переменных выражаются положениями вращающихся валов машины (с учетом числа сделанных валом полных оборотов и направления вращения). Первая модель машины была чисто механическим устройством. В дальнейшем дифференциальный анализатор был усовершенствован его автором и превратился в электромеханическую машину. См.: Буш В. и Колдвелл С. Новый дифференциальный анализатор // Успехи математических наук. Т. 1. Вып. 5–6 (15–16) (новая серия). М.; Л., 1946. С. 113–171; Hartree D.R. Calculating Instruments and Machines, Cambridge, 1950, chapters 2 and 3. В настоящее время разнообразные, главным образом электронные, машины непрерывного действия (они называются иногда также аналоговыми) получили широкое распространение. (Подробнее о машинах этого класса см.: Кобринский Н.Е. Математические машины непрерывного действия. М.: Гостехиздат, 1954.)

      17

      В этом абзаце автор разбирает логическую ошибку в рассуждениях своих оппонентов, привлекая понятие о распределенности терминов категорического силлогизма. Категорический силлогизм можно описать как рассуждение, в котором из данного в посылках отношения по объему двух каких-либо терминов (понятий) к третьему следует их отношение друг к другу. Примером силлогизма может быть следующий вывод: (а) все млекопитающие являются позвоночными; (б) все копытные животные являются млекопитающими; (в) значит, все копытные животные являются позвоночными. Здесь из отношения между понятиями млекопитающие и позвоночные (посылка (а)) и между понятиями копытные животные и млекопитающие (посылка (б)) выводится отношение между понятиями копытные животные и позвоночные, составляющее содержание заключения (в). Если в этом выводе заменить указанные понятия переменными A, В, С, мы выявим форму этого умозаключения: «Все А суть В; все С суть A; следовательно, все С суть В», или в виде единого выражения в условной форме: «Если все A суть В и все С суть A, то все С суть В». Обратная замена переменных любыми понятиями всегда порождает логически правильное рассуждение, т. е. такое, в котором – при условии истинности посылок – всегда получается верное заключение, например: «Все люди смертны, Сократ – человек, следовательно, Сократ смертен» (пример силлогизма, издавна приводящийся в руководствах по формальной логике).

      Формы – так называемые модусы – категорического силлогизма могут быть различными. Вышеприведенные силлогизмы являются силлогизмами модуса Barbara (латинские названия модусов были придуманы в Средние века). Модусы различаются различным расположением терминов и характером входящих в них предложений: в них могут фигурировать не только утвердительные и всеобщие суждения (как в Barbara), но и отрицательные и частные суждения («некоторые